Question:

Let \(p\) and \(q\) be any two propositions.
Statement 1 : \((p \rightarrow q) \leftrightarrow q \vee \sim p\) is a tautology.
Statement 2 : \(\sim(\sim p \wedge q) \wedge(p \vee q) \leftrightarrow p\) is a fallacy.

Show Hint

Use \(p\rightarrow q\equiv \sim p\vee q\) for Statement 1 and simplify the left side of Statement 2 with De Morgan's laws.
Updated On: Nov 12, 2026
  • Both statement 1 and statement 2 are true.
  • Both statement 1 and statement 2 are false.
  • Statement 1 is true and statement 2 is false.
  • Statement 1 is false and statement 2 is true.
Show Solution
collegedunia
Verified By Collegedunia

The Correct Option is C

Solution and Explanation

Statement 1: \(p\rightarrow q\equiv \sim p\vee q\equiv q\vee\sim p\). So \((p\rightarrow q)\leftrightarrow(q\vee\sim p)\) is always true, a tautology. Statement 1 is true.
Statement 2: \(\sim(\sim p\wedge q)\equiv p\vee\sim q\). Then \((p\vee\sim q)\wedge(p\vee q)\equiv p\vee(\sim q\wedge q)\equiv p\vee F\equiv p\).
So the biconditional \(p\leftrightarrow p\) is always true, i.e. a tautology, not a fallacy. Statement 2 is false.
Answer: (3) Statement 1 is true and statement 2 is false.
Was this answer helpful?
0
0