7.1 If-and-Only-If Proof

Proving Non-Conditional Statements

Outline for If-and-Only-If Proof

• Proposition P if and only if Q.
  • Proof.
    • Prove $P\to Q$ usingdirect, contrapositive or contradiction proof.
    • Prove $Q\to P$ using direct, contrapositive or contradiction proof.