Advertisements
Advertisements
Question
Prove that the following statement pattern is a tautology.
(p → q) ↔ (~ q → ~ p)
Advertisements
Solution
| p | q | ~p | ~q | p→q | ~q→~p | (p→q)↔(~q→~p) |
| T | T | F | F | T | T | T |
| T | F | F | T | F | F | T |
| F | T | T | F | T | T | T |
| F | F | T | T | T | T | T |
All the truth values in the last column are T. Hence, it is a tautology.
APPEARS IN
RELATED QUESTIONS
Prove that the following statement pattern is a tautology : ( q → p ) v ( p → q )
Prove that the following statement pattern is equivalent:
(p v q) → r and (p → r) ∧ (q → r)
Using the truth table, prove the following logical equivalence.
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
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)
Prepare truth tables for the following statement pattern.
(p ∧ r) → (p ∨ ~ q)
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 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)
Using the truth table, verify
p → (p → q) ≡ ~ q → (p → q)
Prove that the following pair of statement pattern is equivalent.
p ↔ q and (p → q) ∧ (q → p)
Prove that the following pair of statement pattern is equivalent.
p → q and ~ q → ~ p and ~ p ∨ q
Write the dual of the following:
~(p ∧ q) ≡ ~ p ∨ ~ q
Write the dual statement of the following compound statement.
A number is a real number and the square of the number is non-negative.
Write the negation of the following statement.
All the stars are shining if it is night.
Using the rules of negation, write the negation of the following:
(p → r) ∧ q
With proper justification, state the negation of the following.
(p ↔ q) v (~ q → ~ r)
Construct the truth table for the following statement pattern.
(p ∨ ~q) → (r ∧ p)
Determine whether the following statement pattern is a tautology, contradiction, or contingency.
[~(p ∨ q) → p] ↔ [(~p) ∧ (~q)]
Using the truth table, prove the following logical equivalence.
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
Using the truth table, prove the following logical equivalence.
p ↔ q ≡ ~(p ∧ ~q) ∧ ~(q ∧ ~p)
State the dual of the following statement by applying the principle of duality.
p ∨ (q ∨ r) ≡ ~[(p ∧ q) ∨ (r ∨ s)]
Express the truth of the following statement by the Venn diagram.
Some members of the present Indian cricket are not committed.
The false statement in the following is ______.
Examine whether the statement pattern
[p → (~ q ˅ r)] ↔ ~[p → (q → r)] is a tautology, contradiction or contingency.
The equivalent form of the statement ~(p → ~ q) is ______.
Write the negation of the following statement:
(p `rightarrow` q) ∨ (p `rightarrow` r)
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
(p ∧ q) → (q ∨ p)
If p, q are true statements and r, s are false statements, then find the truth value of ∼ [(p ∧ ∼ r) ∨ (∼ q ∨ s)].
