1 of 2

Chapter 14. Proof Bootcamp

Learning Objectives

In this chapter you will learn…

  • How to use the master strategy to solve difficult formal proofs
  • How to handle any main connective premise
  • How to handle any main connective conclusion
  • What to do about literals in a proof

Click below to begin.