The other major alternative proof strategy is the conditional proof, which this lecture introduces.
- Conditional proofs are unsurprisingly useful for proving conditional statements.
- Begin an indented conditional proof by assuming the antecedent of the conditional statement you want to prove.
- Use the standard rules of inference and replacement to show that the consequent of the conditional statement is true.
- You may then close the conditional proof and conclude that the conditional statement is true.