7.1 If-and-Only-If Proof

Class: CSE 16 Subject: computer-science discrete-math Date: 2024-11-12 Teacher: Prof. Musacchio

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.