1 of 2

Chapter 15. I ♥ Formal Proofs

Learning Objectives

In this chapter you will learn…

  • When to use the 5-step plan
  • How to use the 5-step plan
  • Why ~(PvQ) is a key pattern
  • How to deal with the pattern of ~(P&Q)
  • How to solve proofs with multiple disjunctions
  • How to solve difficult tautologies in BOOL

Click below to begin.