Advertisements
Advertisements
प्रश्न
Prove that the following statement pattern is a tautology : ( q → p ) v ( p → q )
Advertisements
उत्तर
| (1) | (2) | (3) | (4) | (5) |
| p | q | q → q | p → q | ( q → q ) v ( p → q ) |
| T | T | T | T | T |
| T | F | T | F | T |
| F | T | F | T | T |
| F | F | T | T | T |
The truth table contains only T in the last column.
Hence, the given statement is a tautology.
APPEARS IN
संबंधित प्रश्न
Show that the following statement pattern in contingency :
(~p v q) → [p ∧ (q v ~ q)]
Write converse and inverse of the following statement :
"If Ravi is good in logic then Ravi is good in Mathematics."
Using the truth table prove the following logical equivalence.
(p ∨ q) → r ≡ (p → r) ∧ (q → r)
Using the truth table prove the following logical equivalence.
p → (q ∧ r) ≡ (p ∧ q) (p → r)
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
(p → q) ↔ (∼ p ∨ q)
Examine whether the following statement pattern is a tautology, a contradiction or a contingency.
(p ∧ ~ q) → (~ p ∧ ~ q)
Prove that the following statement pattern is a tautology.
(p → q) ↔ (~ q → ~ p)
Prove that the following statement pattern is a tautology.
(~p ∧ ~q ) → (p → q)
Show that the following statement pattern is contingency.
(p → q) ∧ (p → r)
Prove that the following pair of statement pattern is equivalent.
p → q and ~ q → ~ p and ~ p ∨ q
Prove that the following pair of statement pattern is equivalent.
~(p ∧ q) and ~p ∨ ~q
Write the dual of the following:
~(p ∧ q) ≡ ~ 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 ∨ q) → r
Write the converse, inverse, and contrapositive of the following statement.
"If it snows, then they do not drive the car"
With proper justification, state the negation of the following.
(p → q) ∧ r
Construct the truth table for the following statement pattern.
(p ∨ ~q) → (r ∧ p)
The statement pattern (p ∧ q) ∧ [~ r v (p ∧ q)] v (~ p ∧ q) is equivalent to ______.
The equivalent form of the statement ~(p → ~ q) is ______.
Determine whether the following statement pattern is a tautology, contradiction, or contingency:
[(∼ p ∧ q) ∧ (q ∧ r)] ∧ (∼ q)
