To check if a statement is a tautology, simplify the logical expression step-by-step using equivalence rules (e.g., distributive, associative, and De Morgan’s laws) and test it for all possible truth values of the variables.
\(p \vee( p \wedge q )\)
\(( p \wedge( p \rightarrow q )) \rightarrow \sim q\)
\(( p \wedge q ) \rightarrow(\sim( p ) \rightarrow q )\)
\(p \rightarrow( p \wedge( p \rightarrow q ))\)
Step 1: Analyze Each Statement
(i) \( p \to (p \land (p \to q)) \):
\[p \to (p \land (p \to q)) \equiv \neg p \lor (p \land (p \to q)).\]
Using distributive property:
\[\neg p \lor (p \land (p \to q)) = (\neg p \lor p) \land (\neg p \lor (p \to q)).\]
This simplifies to:
\[\text{True} \land (\neg p \lor (\neg p \lor q)).\]
\[= \neg p \lor q.\]
This is not always true, so it is not a tautology.
(ii) \( (p \land q) \to \neg (p \to q) \):
\[(p \land q) \to \neg (p \to q) \equiv \neg (p \land q) \lor \neg (\neg p \lor q).\]
\[= (\neg p \lor \neg q) \lor (p \land \neg q).\]
This simplifies to:
\[\text{True for all cases}.\]
Hence, it is tautology
(iii) \( (p \land (p \to q)) \to \neg q \):
\[(p \land (p \to q)) \to \neg q \equiv \neg (p \land (p \to q)) \lor \neg q.\]
\[= (\neg p \lor \neg (p \to q)) \lor \neg q.\]
\[= (\neg p \lor (\neg p \land \neg q)) \lor \neg q.\]
\[= (\neg p \lor \neg q) \lor \neg q.\]
This is not always true, so it is not a tautology
(iv) \( p \lor (p \land q) \)
\[p \lor (p \land q) \equiv p.\]
This is not always true, so it is not a tautology.
Conclusion
The statement \((p \land q) \to \neg (p \to q)\) is a tautology.
Equivalent statement to (p\(\to\)q) \(\vee\) (r\(\to\)q) will be
The number of values of $r \in\{p, q, \sim p, \sim q\}$ for which $((p \wedge q) \Rightarrow(r \vee q)) \wedge((p \wedge r) \Rightarrow q)$ is a tautology, is :
Among the statements :
\((S1)\) \((( p \vee q ) \Rightarrow r ) \Leftrightarrow( p \Rightarrow r )\)
\((S2)\)\((( p \vee q ) \Rightarrow r ) \Leftrightarrow(( p \Rightarrow r ) \vee( q \Rightarrow r ))\)
What will be the equilibrium constant of the given reaction carried out in a \(5 \,L\) vessel and having equilibrium amounts of \(A_2\) and \(A\) as \(0.5\) mole and \(2 \times 10^{-6}\) mole respectively?
The reaction : \(A_2 \rightleftharpoons 2A\)
Mathematical reasoning or the principle of mathematical reasoning is a part of mathematics where we decide the truth values of the given statements. These reasoning statements are common in most competitive exams like JEE and the questions are extremely easy and fun to solve.
Mathematically, reasoning can be of two major types such as: