Which of the following statement patterns is | vedclass

Name: Exam Paper Generator | JEE NEET Paper Generator | Vedclass
Brand: Vedclass
Rating: 5 (35 reviews)

Question

(A) statement pattern is a contradiction if its truth value is $F$ for all possible truth values of its components.We analyze $S_{1} \equiv (p \righta

Vedclass · Accepted Answer

$S_{1}$

Vedclass · Answer

(A) statement pattern is a contradiction if its truth value is $F$ for all possible truth values of its components.We analyze $S_{1} \equiv (p \rightarrow q) \wedge (p \wedge \sim q)$.Using logical laws:$S_{1} \equiv (\sim p \vee q) \wedge (p \wedge \sim q)$$S_{1} \equiv [(\sim p \vee q) \wedge p] \wedge \sim q$$S_{1} \equiv [(\sim p \wedge p) \vee (q \wedge p)] \wedge \sim q$$S_{1} \equiv [F \vee (p \wedge q)] \wedge \sim q$$S_{1} \equiv (p \wedge q) \wedge \sim q$$S_{1} \equiv p \wedge (q \wedge \sim q)$$S_{1} \equiv p \wedge F$$S_{1} \equiv F$Since the truth value is always $F$,$S_{1}$ is a contradiction.

Which of the following statement patterns is a contradiction?
$S_{1} \equiv (p \rightarrow q) \wedge (p \wedge \sim q)$
$S_{2} \equiv [p \wedge (p$ $\rightarrow q)]$ $\rightarrow q$
$S_{3} \equiv (p \vee q) \rightarrow \sim p$
$S_{4} \equiv [p \wedge (p \rightarrow q)] \leftrightarrow q$

Similar Questions

Which of the following sentences are statements? Give reasons for your answer.
Mathematics is difficult.

Which one of the following is a tautology?

If $P$ and $Q$ are two statements,then which of the following compound statements is a tautology?

If $\sim p \to q$ is false and $q \leftrightarrow r$ is false, then the truth value of $(p, q, r)$ is...

The converse of $[p \wedge (\sim q)] \rightarrow r$ is

Vedclass Test Series

Exam Paper Generator

Online Exam Module

Which of the following statement patterns is a contradiction?$S_{1} \equiv (p \rightarrow q) \wedge (p \wedge \sim q)$$S_{2} \equiv [p \wedge (p$ $\rightarrow q)]$ $\rightarrow q$$S_{3} \equiv (p \vee q) \rightarrow \sim p$$S_{4} \equiv [p \wedge (p \rightarrow q)] \leftrightarrow q$