Show that the following statement pattern is contingency. p ∧ [(p → ~ q) → q]

EXERCISE 1.6Q 5.3   PAGE 16

Exercise 1.6 | Q 5.3 | Page 16

Show that the following statement pattern is contingency.

p ∧ [(p → ~ q) → q]

SOLUTION

p	q	~q	p→~q	(p→~q)→q	p∧[(p→~q)→q]
T	T	F	F	T	T
T	F	T	T	F	F
F	T	F	T	T	F
F	F	T	T	F	F

Truth values in the last column are not identical. Hence, it is contingency.