Question
Examine whether the following logical statement pattern is tautology, contradiction or contingency.
$[(p \rightarrow q) \wedge q] \rightarrow p$

Answer

Consider the statement pattern : [(p → q) ∧ q ] → p
No. of rows = 2n = 2 × 2 = 4
No. of column = m + n = 3 + 2 = 5
Thus the truth table of the given logical statement:
[(p → q) ∧ q] → p

Pq$p \rightarrow q$$(p \rightarrow q) \wedge q$$[(p \rightarrow q) \wedge q] \rightarrow p$
TTTTT
TFFFT
FTTTF
FFTFT

The entries in the last column of the above truth table are neither all T nor all F.
∴ [(p → q) ∧ q] → p is contingency.

 

Need a full question paper?

Generate a complete, print-ready paper with questions like this in minutes — across 16+ boards, with answer keys.

Start Generating Free

Similar questions