Advertisements
Advertisements
Question
Prove that the following statement pattern is a tautology.
(~p ∧ ~q ) → (p → q)
Advertisements
Solution
| p | q | ~p | ~q | ~p∧~q | p→q | (~p∧~q)→(p→q) |
| T | T | F | F | F | T | T |
| T | F | F | T | F | F | T |
| F | T | T | F | F | 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
Using truth table examine whether the following statement pattern is tautology, contradiction or contingency `(p^^~q) harr (p->q)`
Express the following statement in symbolic form and write its truth value.
"If 4 is an odd number, then 6 is divisible by 3."
Use the quantifiers to convert the following open sentence defined on N into true statement:
x2 ≥ 1
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)
Using the truth table proves the following logical equivalence.
∼ (p ↔ q) ≡ (p ∧ ∼ q) ∨ (q ∧ ∼ p)
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
∼ (∼ q ∧ p) ∧ q
Prepare truth tables for the following statement pattern.
(~ p ∨ q) ∧ (~ p ∨ ~ q)
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)
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)
Write the dual statement of the following compound statement.
Karina is very good or everybody likes her.
Write the negation of the following statement.
All the stars are shining if it is night.
Write the converse, inverse, and contrapositive of the following statement.
"If it snows, then they do not drive the car"
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 ≡ [(p ∨ q)] ∧ ~p
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) ∧ r ≡ p ∧ (q ∧ r)
The false statement in the following is ______.
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
Write the dual of the following.
13 is prime number and India is a democratic country
If p → (∼p v q) is false, then the truth values of p and q are respectively
Using truth table verify that:
(p ∧ q)∨ ∼ q ≡ p∨ ∼ q
