Advertisements
Advertisements
प्रश्न
Prove that the following pair of statement pattern is equivalent.
p → q and ~ q → ~ p and ~ p ∨ q
Advertisements
उत्तर
| 1 | 2 | 3 | 4 | 5 | 6 | 7 |
| p | q | ~p | ~q | p→q | ~q→~p | ~p∨q |
| T | T | F | F | T | T | T |
| T | F | F | T | F | F | F |
| F | T | T | F | T | T | T |
| F | F | T | T | T | T | T |
In the above table, entries in columns 5, 6 and 7 are identical
∴ Statement p → q and ~q → ~p and ~p ∨ q are equivalent.
APPEARS IN
संबंधित प्रश्न
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 converse and inverse of the following statement:
“If a man is a bachelor then he is unhappy.”
Use the quantifiers to convert the following open sentence defined on N into true statement:
x2 ≥ 1
Prove that the following statement pattern is equivalent:
(p v q) → r and (p → r) ∧ (q → r)
Write the negation of the following statement :
If the lines are parallel then their slopes are equal.
Write converse and inverse of the following statement :
"If Ravi is good in logic then Ravi is good in Mathematics."
Examine whether the following statement (p ∧ q) ∨ (∼p ∨ ∼q) is a tautology or contradiction or neither of them.
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
[p → (∼ q ∨ r)] ↔ ∼ [p → (q → r)]
Determine whether the following statement pattern is a tautology, contradiction or contingency:
[(p ∨ ∼q) ∨ (∼p ∧ q)] ∧ r
Examine whether the following statement pattern is a tautology, a contradiction or a contingency.
q ∨ [~ (p ∧ q)]
Prove that the following statement pattern is a tautology.
(~p ∧ ~q ) → (p → q)
If p is any statement then (p ∨ ∼p) is a ______.
Show that the following statement pattern is contingency.
p ∧ [(p → ~ q) → q]
Using the truth table, verify
~(p ∨ q) ∨ (~ p ∧ q) ≡ ~ p
Prove that the following pair of statement pattern is equivalent.
p ↔ q and (p → q) ∧ (q → p)
Write the dual of the following:
p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r
Write the dual statement of the following compound statement.
13 is prime number and India is a democratic country.
Write the negation of the following statement.
All the stars are shining if it is night.
Write the negation of the following statement.
∀ n ∈ N, n + 1 > 0
Write the negation of the following statement.
Some continuous functions are differentiable.
Construct the truth table for the following statement pattern.
(p ∧ ~ q) ↔ (q → p)
Using the truth table, prove the following logical equivalence.
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
Write the converse, inverse, contrapositive of the following statement.
If a man is bachelor, then he is happy.
Write the converse, inverse, contrapositive of the following statement.
If I do not work hard, then I do not prosper.
Write the dual of the following.
~(p ∨ q) ≡ ~p ∧ ~q
Write the converse and contrapositive of the following statements.
“If a function is differentiable then it is continuous”
Write the negation of the following statement:
(p `rightarrow` q) ∨ (p `rightarrow` r)
