The statement (p wedge (p rightarrow q) wedge | vedclass

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

Question

(A) Let the statement be $S = (p \wedge (p$ $\rightarrow q) \wedge (q$ $\rightarrow r))$ $\rightarrow r$. Using the implication law $a \rightarrow b \

Vedclass · Accepted Answer

a tautology

Vedclass · Answer

(A) Let the statement be $S = (p \wedge (p$ $\rightarrow q) \wedge (q$ $\rightarrow r))$ $\rightarrow r$. Using the implication law $a \rightarrow b \equiv \sim a \vee b$,we have: $S \equiv \sim (p \wedge (p$ $\rightarrow q) \wedge (q$ $\rightarrow r)) \vee r$ Using De Morgan's law $\sim (A \wedge B \wedge C) \equiv \sim A \vee \sim B \vee \sim C$: $S \equiv \sim p \vee \sim (p$ $\rightarrow q) \vee \sim (q$ $\rightarrow r) \vee r$ Since $\sim (a \rightarrow b) \equiv a \wedge \sim b$: $S \equiv \sim p \vee (p \wedge \sim q) \vee (q \wedge \sim r) \vee r$ Using distributive law $\sim p \vee (p \wedge \sim q) \equiv (\sim p \vee p) \wedge (\sim p \vee \sim q) \equiv T \wedge (\sim p \vee \sim q) \equiv \sim p \vee \sim q$: $S \equiv (\sim p \vee \sim q) \vee (q \wedge \sim r) \vee r$ Using associative and distributive laws: $S \equiv \sim p \vee \sim q \vee (q \vee r) \wedge (\sim r \vee r)$ $S \equiv \sim p \vee \sim q \vee (q \vee r) \wedge T$ $S \equiv \sim p \vee (\sim q \vee q) \vee r$ $S \equiv \sim p \vee T \vee r \equiv T$ Since the result is always true,the statement is a tautology.

The statement $(p \wedge (p$ $\rightarrow q) \wedge (q$ $\rightarrow r))$ $\rightarrow r$ is :

Similar Questions

Check whether the following sentence is a statement. Give reasons for your answer.
"How far is Chennai from here?"

Which of the following sentences are statements? Give reasons for your answer.
The square of a number is an even number.

The converse of "If $3$ is a prime number,then $3$ is odd." is

The negation of the statement "If an integer is greater than $4$ and less than $5$, then it is a multiple of $3$" is:

Which one of the following statements is not a tautology?

Vedclass Test Series

Exam Paper Generator

Online Exam Module