Question: The statement $(p \rightarrow(q \rightarrow p)) \rightarrow(p \rightarrow(p \vee q))$ is :
(1) equivalent to $(p \wedge q) \vee(\sim q)$
(2) a contradiction
(3) equivalent to $(p \vee q) \wedge(\sim p)$
(4) a tautology
Correct Option: , 4
Solution:
The truth table of $(p \rightarrow(q \rightarrow p)) \rightarrow(p \rightarrow(p \vee q))$ is
Hence, the statement is tautology.
