Advertisement

Show that the following statement pattern is contingency. (p → q) ↔ (~ p ∨ q)

EXERCISE 1.6Q 5.2   PAGE 16
Exercise 1.6 | Q 5.2 | Page 16

Show that the following statement pattern is contingency.

(p → q) ↔ (~ p ∨ q)


SOLUTION

pq~pp→q~p∨q(p→q)↔(~p∨q)
TTFTTT
TFFFFT
FTTTTT
FFTTTT

All the truth values in the last column are T. Hence, it is a tautology. Not contingency.