1 of 2

Chapter 20. Metalogic

Learning Objectives

In this chapter you will learn…

  • How to distinguish logic and metalogic
  • How to identify key metalogical theorems
  • How to prove sets of connectives are truth-functionally complete (TFC)
  • How to use the connectives nor and nand

Click here to begin.