Q61 / 150 · MHT CET 2026 (17 April Shift 2) · Mathematics
The statement pattern $[(p \wedge q) \rightarrow (\sim p \vee r)] \vee [(\sim p \vee r) \rightarrow (p \wedge q)]$ is
- Aa contradiction
- Correct answerBa tautology
- Cequivalent to $(p \wedge q) \vee r$.
- Dequivalent to $(p \vee q)$ .
Solution
Let $A = p \wedge q$ and $B = \sim p \vee r$.
The given statement pattern can be written as $(A \rightarrow B) \vee (B \rightarrow A)$.
Using the logical equivalence $X \rightarrow Y \equiv \sim X \vee Y$, the expression becomes:
$(\sim A \vee B) \vee (\sim B \vee A)$
Using the commutative and associative properties of disjunction, we can rearrange the terms as:
$(\sim A \vee A) \vee (\sim B \vee B)$
We know that for any statement $X$, $\sim X \vee X \equiv T$ (where $T$ represents a tautology).
Substituting this into the expression, we get:
$T \vee T \equiv T$
Therefore, the given statement pattern is a tautology.
Answer: a tautology
The given statement pattern can be written as $(A \rightarrow B) \vee (B \rightarrow A)$.
Using the logical equivalence $X \rightarrow Y \equiv \sim X \vee Y$, the expression becomes:
$(\sim A \vee B) \vee (\sim B \vee A)$
Using the commutative and associative properties of disjunction, we can rearrange the terms as:
$(\sim A \vee A) \vee (\sim B \vee B)$
We know that for any statement $X$, $\sim X \vee X \equiv T$ (where $T$ represents a tautology).
Substituting this into the expression, we get:
$T \vee T \equiv T$
Therefore, the given statement pattern is a tautology.
Answer: a tautology
Hence, the correct answer is option: 'B'.