Question

Examine whether statement patterns is a tautology or a contradiction or a contingency :

(~p → q) ∧ (p ∧ r)

Answer 1

(~p → q) ∧ (p ∧ r)

The entries in the last column of the above truth table are neither all T nor all F. 

∴ (~p → q) ∧ (p ∧ r) is a contingency.