🧾 Truth Table Validity Audit

• ✅ Valid: ∀ rows: If premises = T → conclusion = T

• ❌ Invalid: ∃ row: Premises = T ∧ conclusion = F

🔍 Audit Strategy:

• To disprove: Find one counterexample (∃).
• To prove: Eliminate all counterexamples (∀).