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
- $\sim p \wedge(\sim q \wedge r)$
- $\sim p \wedge(\sim q \wedge \sim r)$
- $\sim p \wedge(q \wedge \sim r)$
- $\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