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

The following statement $(\mathrm{p} \rightarrow \mathrm{q}) \rightarrow((\sim \mathrm{p} \rightarrow \mathrm{q}) \rightarrow \mathrm{q})$ is
  1. a fallacy.
  2. equivalent to $(\sim \mathrm{p}) \rightarrow \mathrm{q}$.
  3. equivalent to $\mathrm{p} \rightarrow(\sim \mathrm{q})$.
  4. a tautology.

Solution

$\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}$

Asked in: MHT CET 2024 (11 May Shift 2)

Practice more Mathematical Logic questions on Aicharya