Advertisements
Advertisements
Question
Prove that the following statement pattern is a tautology : ( q → p ) v ( p → q )
Advertisements
Solution
| (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
RELATED QUESTIONS
Use the quantifiers to convert the following open sentence defined on N into true statement
5x - 3 < 10
Using the truth table prove the following logical equivalence.
[∼ (p ∨ q) ∨ (p ∨ q)] ∧ r ≡ r
(p ∧ q) → r is logically equivalent to ________.
Prepare truth table for (p ˄ q) ˅ ~ r
(p ∧ q) ∨ ~ r
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)
Prove that the following statement pattern is a contradiction.
(p ∧ q) ∧ (~p ∨ ~q)
Show that the following statement pattern is contingency.
(p∧~q) → (~p∧~q)
Show that the following statement pattern is contingency.
(p → q) ∧ (p → r)
Write the dual statement of the following compound statement.
13 is prime number and India is a democratic country.
Using the truth table, prove the following logical equivalence.
p ↔ q ≡ ~(p ∧ ~q) ∧ ~(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 dual of the following.
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
Write the converse and contrapositive of the following statements.
“If a function is differentiable then it is continuous”
Write the dual of the following
(p ˄ ∼q) ˅ (∼p ˄ q) ≡ (p ˅ q) ˄ ∼(p ˄ q)
Choose the correct alternative:
If p is any statement, then (p ˅ ~p) is a
Choose the correct alternative:
If p → q is an implication, then the implication ~q → ~p is called its
The equivalent form of the statement ~(p → ~ q) is ______.
