Match the logic connective to its truth condition

Exercise and reference answers

Matching pairs

1. Left

   p ∧ q

   Right

   True iff both p and q are true

2. Left

   p ∨ q

   Right

   True iff at least one is true

3. Left

   p → q

   Right

   False only when p true and q false

4. Left

   p ↔ q

   Right

   True iff p and q have same value

5. Left

   ¬p

   Right

   True iff p is false