Question:

The statement \(p \to (q \to p)\) is equivalent to :

Show Hint

Simplify \(p \to (q \to p)\) using \(a \to b \equiv \sim a \vee b\).
Updated On: Oct 31, 2026
  • \(p \to q\)
  • \(p \to (p \vee q)\)
  • \(p \to (p \to q)\)
  • \(p \to (p \wedge q)\)
Show Solution
collegedunia
Verified By Collegedunia

The Correct Option is B

Solution and Explanation

\(q \to p \equiv \sim q \vee p\).
\(p \to (q \to p) \equiv \sim p \vee (\sim q \vee p) = (\sim p \vee p) \vee \sim q = T\), a tautology.
Now test the options: \(p \to (p \vee q) \equiv \sim p \vee (p \vee q) = (\sim p \vee p) \vee q = T\), also a tautology.
The others are not tautologies: \(p \to q\) is false when \(p = T, q = F\); \(p \to (p \to q) \equiv \sim p \vee q\) is false there too; \(p \to (p \wedge q) \equiv \sim p \vee q\) is also false there.
Answer: (2) \(p \to (p \vee q)\)
Was this answer helpful?
0
0