Conditional Proofs

The other major alternative proof strategy is the conditional proof, which this lecture introduces.

Takeaway Points

  1. Conditional proofs are unsurprisingly useful for proving conditional statements.
  2. Begin an indented conditional proof by assuming the antecedent of the conditional statement you want to prove.
  3. Use the standard rules of inference and replacement to show that the consequent of the conditional statement is true.
  4. You may then close the conditional proof and conclude that the conditional statement is true.

Back to Logic 101