1 of 2

Chapter 12. Proof by Cases

Learning Objectives

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.