Chapter 1. The Adventure Begins

6 Sections Chapter 2. Weird Validity

7 Sections Chapter 3. Argument Heroics

6 Sections Chapter 4. Meet the Booleans

5 Sections Chapter 5. Connective Features

4 Sections Chapter 6. Semantics for BOOL

4 Sections Chapter 7. BOOL in Reasoning

4 Sections Chapter 8. BOOLean Algebra

5 Sections Chapter 9. BOOL Logic Gates

6 Sections Chapter 10. Proofs: Informal

4 Sections Chapter 11. Proofs: Formal

6 Sections Chapter 12. Proof by Cases

4 Sections Chapter 13. Reductio

5 Sections Chapter 14. Proof Bootcamp

7 Sections Chapter 15. I ♥ Formal Proofs

6 Sections Chapter 17. PROP: Conditionals

5 Sections Chapter 18. Proofs with Conditionals

5 Sections Chapter 19. I ♥ PROP Proofs

6 Sections Chapter 20. Metalogic

6 Sections In this chapter you will learn…

- How to reason informally from a disjunction
- How to make temporary assumptions in informal proofs
- How to reason formally from a disjunction: vElim
- How to make temporary assumptions in a formal proof
- How to survive on the island of knights and knaves

Click below to begin.

Chapter Content

0% Complete 0/4 Steps

Login

Accessing this textbook requires a login. Please enter your credentials below!