ExamBro
ExamBro
MHT CET · Maths · Mathematical Reasoning

Which of the following statement pattern is contradiction?

  1. A \(S_3 \equiv(\sim p \wedge q) \wedge(\sim q)\)
  2. B \(S_2 \equiv(p \rightarrow q) \vee(p \wedge \sim q)\)
  3. C \(S_1 \equiv(\sim p \vee \sim q) \vee(p \vee \sim q)\)
  4. D \(S_4 \equiv(\sim p \wedge q) \vee(\sim q)\)
Verified Solution

Answer & Solution

Correct Answer

(A) \(S_3 \equiv(\sim p \wedge q) \wedge(\sim q)\)

Step-by-step Solution

Detailed explanation

\(\begin{aligned} & S_3 \equiv(\sim p \wedge q) \wedge(\sim q) \\ & \equiv \sim p \wedge(q \wedge \sim q) \\ & \text { [Associative law] } \\ & \equiv \sim p \wedge c \\ & {[\because q \wedge \sim q \equiv c]} \\ & \equiv c \\ & {[\because p \wedge c \equiv c]} \\ & \end{aligned}\)