Advertisement

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

pq~qp→~q(p→~q)→qp∧[(p→~q)→q]
TTFFTT
TFTTFF
FTFTTF
FFTTFF

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