Match List I with List II. List I: (a) p → q, (b) p ∨ q, (c) p ∧ q, (d) ¬(p → q). List II: (i) ¬(q → ¬p), (ii) p ∧ ¬q, (iii) ¬p → q, (iv) ¬p ∨ q.

1. A(a)-(ii); (b)-(iii); (c)-(i); (d)-(iv)
2. B(a)-(ii); (b)-(i); (c)-(iii); (d)-(iv)
3. C(a)-(iv); (b)-(i); (c)-(iii); (d)-(ii)
4. D(a)-(iv); (b)-(iii); (c)-(i); (d)-(ii)

Pick an option to check yourself, or open the answer below.

Show answer & explanation

Correct answer: D. (a)-(iv); (b)-(iii); (c)-(i); (d)-(ii)

Explanation

p → q ≡ ¬p ∨ q; p ∨ q ≡ ¬p → q; p ∧ q ≡ ¬(q → ¬p); ¬(p → q) ≡ p ∧ ¬q.