ExamBro
ExamBro
MHT CET · Maths · Mathematical Reasoning

The statement pattern \([p \rightarrow(q \rightarrow p)] \rightarrow[p \rightarrow(p \vee q)]\) is

  1. A A tautology
  2. B A contradiction
  3. C A contingency
  4. D Equivalent to \(p \leftrightarrow q\)
Verified Solution

Answer & Solution

Correct Answer

(A) A tautology

Step-by-step Solution

Detailed explanation

\(p \rightarrow(q \rightarrow p)\) is a tautology
\(p \rightarrow(p \vee q)\) is a tautology
Hence, \([p \rightarrow(q \rightarrow p)] \rightarrow[p \rightarrow(p \vee q)]\) is a tautology