Mathematical Reasoning Question 3

Question 3 - 25 January - Shift 1

The statement $(p \wedge(\sim q)) \Rightarrow(p \Rightarrow(\sim q))$ is

(1) equivalent to $(\sim p) \vee(\sim q)$

(2) a tautology

(3) equivalent to $p \vee q$

(4) a contradiction

Show Answer

Answer: (2)

Solution:

$ \begin{aligned} & (p \wedge \sim q) \to(p \to \sim q) \\ & \equiv(\sim(p \wedge \sim q)) \vee(\sim p \vee \sim q) \\ & \equiv(\sim p \vee q) \vee(\sim p \vee \sim q) \\ & \equiv \sim p \vee t \equiv t \end{aligned} $