1 of 2

Chapter 19. I ♥ PROP Proofs

Learning Objectives

In this chapter you will learn…

  • How to use conditional premises in harder proofs
  • How to prove conditional conclusions in harder proofs
  • How to handle the annoying pattern of ~(P->Q)

Click below to begin.