Advertisements
Advertisements
प्रश्न
Prove that the following pair of statement pattern is equivalent.
p ↔ q and (p → q) ∧ (q → p)
उत्तर
| 1 | 2 | 3 | 4 | 5 | 6 |
| p | q | p↔q | p→q | q→p | (p→q)∧(q→p) |
| T | T | T | T | T | T |
| T | F | F | F | T | F |
| F | T | F | T | F | F |
| F | F | T | T | T | T |
In the above table, entries in columns 3 and 6 are identical.
∴ Statement p ↔ q and (p → q) ∧ (q → p) are equivalent.
APPEARS IN
संबंधित प्रश्न
Examine whether the following logical statement pattern is a tautology, contradiction, or contingency.
[(p→q) ∧ q]→p
Write the converse and contrapositive of the statement -
“If two triangles are congruent, then their areas are equal.”
Prove that the following statement pattern is equivalent :
(p ∨ q) → r and (p → r) ∧ (q → r)
Using truth table examine whether the following statement pattern is tautology, contradiction or contingency `(p^^~q) harr (p->q)`
Write the dual of the following statements: (p ∨ q) ∧ T
Write the dual of the following statements:
Madhuri has curly hair and brown eyes.
If p and q are true statements and r and s are false statements, find the truth value of the following :
( p ∧ ∼ r ) ∧ ( ∼ q ∧ s )
If p : It is raining
q : It is humid
Write the following statements in symbolic form:
(a) It is raining or humid.
(b) If it is raining then it is humid.
(c) It is raining but not humid.
Express the following statement in symbolic form and write its truth value.
"If 4 is an odd number, then 6 is divisible by 3."
Show that the following statement pattern in contingency :
(~p v q) → [p ∧ (q v ~ q)]
By constructing the truth table, determine whether the following statement pattern ls a tautology , contradiction or . contingency. (p → q) ∧ (p ∧ ~ q ).
Using the truth table prove the following logical equivalence.
(p ∨ q) → r ≡ (p → r) ∧ (q → r)
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
[(p → q) ∧ ∼ q] → ∼ p
Determine whether the following statement pattern is a tautology, contradiction, or contingency:
[(p ∨ q) ∧ ∼p] ∧ ∼q
Determine whether the following statement pattern is a tautology, contradiction or contingency:
(p ∧ q) ∨ (∼p ∧ q) ∨ (p ∨ ∼q) ∨ (∼p ∧ ∼q)
Prepare truth tables for the following statement pattern.
(p ∧ r) → (p ∨ ~ q)
Prepare truth table for (p ˄ q) ˅ ~ r
(p ∧ q) ∨ ~ r
Examine whether the following statement pattern is a tautology, a contradiction or a contingency.
(~ q ∧ p) ∧ (p ∧ ~ p)
Prove that the following statement pattern is a contradiction.
(p ∧ q) ∧ (~p ∨ ~q)
Prove that the following statement pattern is a contradiction.
(p → q) ∧ (p ∧ ~ q)
Show that the following statement pattern is contingency.
(p → q) ∧ (p → r)
Using the truth table, verify
p → (p → q) ≡ ~ q → (p → q)
Using the truth table, verify
~(p ∨ q) ∨ (~ p ∧ q) ≡ ~ p
Prove that the following pair of statement pattern is equivalent.
p → q and ~ q → ~ p and ~ p ∨ q
Write the negation of the following statement.
Some continuous functions are differentiable.
Using the rules of negation, write the negation of the following:
(p → r) ∧ q
Construct the truth table for the following statement pattern.
(p ∨ r) → ~(q ∧ r)
Determine whether the following statement pattern is a tautology, contradiction, or contingency.
[(~p ∧ q) ∧ (q ∧ r)] ∨ (~q)
Determine whether the following statement pattern is a tautology, contradiction, or contingency.
[~(p ∧ q) → p] ↔ [(~p) ∧ (~q)]
Determine whether the following statement pattern is a tautology, contradiction, or contingency.
[p → (~q ∨ r)] ↔ ~[p → (q → r)]
Using the truth table, prove the following logical equivalence.
~p ∧ q ≡ [(p ∨ q)] ∧ ~p
Write the converse, inverse, contrapositive of the following statement.
If I do not work hard, then I do not prosper.
State the dual of the following statement by applying the principle of duality.
p ∨ (q ∨ r) ≡ ~[(p ∧ q) ∨ (r ∨ s)]
Write the converse and contrapositive of the following statements.
“If a function is differentiable then it is continuous”
Choose the correct alternative:
If p is any statement, then (p ˅ ~p) is a
The statement pattern (p ∧ q) ∧ [~ r v (p ∧ q)] v (~ p ∧ q) is equivalent to ______.
Determine whether the following statement pattern is a tautology, contradiction, or contingency:
[(∼ p ∧ q) ∧ (q ∧ r)] ∧ (∼ q)
