MHT CET · Maths · Mathematical Reasoning

The following statement \((\mathrm{p} \rightarrow \mathrm{q}) \rightarrow((\sim \mathrm{p} \rightarrow \mathrm{q}) \rightarrow \mathrm{q})\) is

A a fallacy.
B equivalent to \((\sim \mathrm{p}) \rightarrow \mathrm{q}\).
C equivalent to \(\mathrm{p} \rightarrow(\sim \mathrm{q})\).
D a tautology.

Verified Solution

Answer & Solution

Correct Answer

(D) a tautology.

Step-by-step Solution

Detailed explanation

\(\begin{aligned} & (p \rightarrow q) \rightarrow((\sim p \rightarrow q) \rightarrow q) \\ & \equiv(p \rightarrow q) \rightarrow((p \vee q) \rightarrow q) \\ & \equiv(p \rightarrow q) \rightarrow(\sim(p \vee q) \vee q) \\ & \equiv(p \rightarrow q) \rightarrow((\sim p \wedge \sim q) \vee q) \\ & \equiv(p \rightarrow q) \rightarrow((\sim p \vee q) \wedge(\sim q \vee q)) \\ & \equiv(p \rightarrow q) \rightarrow((\sim p \vee q) \wedge T) \\ & \equiv(p \rightarrow q) \rightarrow(\sim p \vee q) \\ & \equiv(p \rightarrow q) \rightarrow(p \rightarrow q) \\ & \equiv T\end{aligned}\)

Apply the relevant identity from the chapter and substitute the values established in the previous step, keeping the original constraint in view.

Use the simplified expression to isolate the unknown, then plug the result back into the question setup to confirm the working is internally consistent.

Cross-check against a boundary or limiting case. Both the dimensional balance and the qualitative behaviour at the extreme should agree with the candidate answer.

Combine the steps above to identify the correct option. The remaining choices each fail at least one of the consistency, dimensional, or boundary checks.

Same subject

Explore more questions on app

From MHT CET

Explore more questions on app