Advertisements
Advertisements
Question
Examine whether the statement pattern
[p → (~ q ˅ r)] ↔ ~[p → (q → r)] is a tautology, contradiction or contingency.
Advertisements
Solution
[p → (~q ∨ r)] ↔ ~[p → (q → r)]
| p | q | r | ~q | ~q ∨ r | p → (~q ∨ r) |
q → r | p → (q →r) |
~[p → (q → r)] |
[p → (~q ∨ r)] ↔ ~[p → (q → r)] |
| T | T | T | F | T | T | T | T | F | F |
| T | T | F | F | F | F | F | F | T | F |
| T | F | T | T | T | T | T | T | F | F |
| T | F | F | T | T | T | T | T | F | F |
| F | T | T | T | T | T | T | T | F | F |
| F | T | F | F | F | T | F | T | F | F |
| F | F | T | T | T | T | T | T | F | F |
| F | F | F | T | T | T | T | T | F | F |
All the truth values in the last column are F.
Hence, it is contradiction.
RELATED QUESTIONS
Express the following statement in symbolic form and write its truth value.
"If 4 is an odd number, then 6 is divisible by 3 "
Prove that the following statement pattern is equivalent :
(p ∨ q) → r and (p → r) ∧ (q → r)
Write the dual of the following statements: (p ∨ q) ∧ T
Write converse and inverse of the following statement:
“If a man is a bachelor then he is unhappy.”
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 ≡ ∼ [(p ∨ q) ∧ ∼ (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)] ∧ r ≡ r
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
[(p → q) ∧ ∼ q] → ∼ p
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 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]
Examine whether the following statement pattern is a tautology, a contradiction or a contingency.
(~ q ∧ p) ∧ (p ∧ ~ p)
Examine whether the following statement pattern is a tautology, a contradiction or a contingency.
~ p → (p → ~ q)
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
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 negation of the following statement.
Some continuous functions are differentiable.
Determine whether the following statement pattern is a tautology, contradiction, or contingency.
[p → (~q ∨ r)] ↔ ~[p → (q → r)]
Write the converse, inverse, contrapositive of the following statement.
If 2 + 5 = 10, then 4 + 10 = 20.
Write the converse, inverse, contrapositive of the following statement.
If a man is bachelor, then he is happy.
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)
Choose the correct alternative:
If p → q is an implication, then the implication ~q → ~p is called its
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`
The statement pattern (∼ p ∧ q) is logically equivalent to ______.
Show that the following statement pattern is a contingency:
(p→q)∧(p→r)
