The negation of the statement pattern $p v(q \rightarrow \sim r)$ is

The negation of the statement pattern $p v(q \rightarrow \sim r)$ is
  1. $\sim p \wedge(\sim q \wedge r)$
  2. $\sim p \wedge(\sim q \wedge \sim r)$
  3. $\sim p \wedge(q \wedge \sim r)$
  4. $\sim p \wedge(q \wedge r)$

Solution

$\begin{aligned} & \sim\{p \vee(q \rightarrow \sim r)\} \equiv \sim p \wedge \sim(q \rightarrow \sim r)[\because \sim(p \rightarrow q) \equiv p \wedge \sim q] \\ & \equiv \sim p \wedge(q \wedge \sim(\sim r)) \\ & \equiv \sim p \wedge(q \wedge r)\end{aligned}$

Asked in: MHT CET 2022 (06 Aug Shift 2)

Practice more Mathematical Logic questions on Aicharya