Advertisements
Advertisements
Question
Using truth table, examine whether the following statement pattern is tautology, contradiction or contingency: p ∨ [∼(p ∧ q)]
Advertisements
Solution
Truth Table
| (1) | (2) | (3) | (4) | (5) |
| p | q | p ∧ q | ∼(p ∧ q) | p ∨ [∼(p ∧ q)] |
| T | T | T | F | T |
| T | F | F | T | T |
| F | T | F | T | T |
| F | F | F | T | T |
All entries in coloumn (5) are T's
p ∨ [∼(p ∧ q)] is Tautology.
APPEARS IN
RELATED QUESTIONS
Using truth table examine whether the following statement pattern is tautology, contradiction or contingency `(p^^~q) harr (p->q)`
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
Write the negation of the following statement :
If the lines are parallel then their slopes are equal.
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)
Determine whether the following statement pattern is a tautology, contradiction or contingency:
[p → (q → r)] ↔ [(p ∧ q) → r]
Prove that the following statement pattern is a contradiction.
(p ∨ q) ∧ (~p ∧ ~q)
Prove that the following statement pattern is a contradiction.
(p → q) ∧ (p ∧ ~ q)
Using the truth table, verify
~(p → ~q) ≡ p ∧ ~ (~ q) ≡ p ∧ q.
Write the dual of the following:
(p ∨ q) ∨ r
Write the dual of the following:
~(p ∨ q) ∧ [p ∨ ~ (q ∧ ~ r)]
Using the rules of negation, write the negation of the following:
(p → r) ∧ q
Using the truth table, prove the following logical equivalence.
p ↔ q ≡ ~(p ∧ ~q) ∧ ~(q ∧ ~p)
Using the truth table, prove the following logical equivalence.
~p ∧ q ≡ [(p ∨ q)] ∧ ~p
Write the converse, inverse, contrapositive of the following statement.
If a man is bachelor, then he is happy.
The false statement in the following is ______.
Complete the truth table.
| p | q | r | q → r | r → p | (q → r) ˅ (r → p) |
| T | T | T | T | `square` | T |
| T | T | F | F | `square` | `square` |
| T | F | T | T | `square` | T |
| T | F | F | T | `square` | `square` |
| F | T | T | `square` | F | T |
| F | T | F | `square` | T | `square` |
| F | F | T | `square` | F | T |
| F | F | F | `square` | T | `square` |
The given statement pattern is a `square`
Using truth table verify that:
(p ∧ q)∨ ∼ q ≡ p∨ ∼ q
If p → q is true and p ∧ q is false, then the truth value of ∼p ∨ q is ______
