Advertisements
Advertisements
Question
By constructing the truth table, determine whether the following statement pattern ls a tautology , contradiction or . contingency. (p → q) ∧ (p ∧ ~ q ).
Advertisements
Solution
| 1 | 2 | 3 | 4 | 5 | 6 |
| p | q | ~q | p → q | p ∧ ~q | (p → q ) ∧ (p ∧ ~q) |
| T | T | F | T | F | F |
| T | F | T | F | T | F |
| F | T | F | T | F | F |
| F | F | T | T | F | F |
The truth table contains only F in the last column. Hence the given statement is a contradiction.
APPEARS IN
RELATED QUESTIONS
Examine whether the following logical statement pattern is a tautology, contradiction, or contingency.
[(p→q) ∧ q]→p
Express the following statement in symbolic form and write its truth value.
"If 4 is an odd number, then 6 is divisible by 3 "
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
5x - 3 < 10
Examine whether the following statement (p ∧ q) ∨ (∼p ∨ ∼q) is a tautology or contradiction or neither of them.
Using the truth table prove the following logical equivalence.
∼ (p ∨ q) ∨ (∼ p ∧ q) ≡ ∼ p
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 ∧ (p → q)] → q
Prepare truth tables for the following statement pattern.
(~ p ∨ q) ∧ (~ p ∨ ~ q)
Prove that the following statement pattern is a contradiction.
(p ∧ q) ∧ (~p ∨ ~q)
Using the truth table, verify.
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
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.
Some continuous functions are differentiable.
Using the rules of negation, write the negation of the following:
(~p ∧ q) ∧ (~q ∨ ~r)
With proper justification, state the negation of the following.
(p → q) ∨ (p → r)
Construct the truth table for the following statement pattern.
(p ∧ r) → (p ∨ ~q)
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)] ∧ r ≡ r
Write the dual of the following
(p ˄ ∼q) ˅ (∼p ˄ q) ≡ (p ˅ q) ˄ ∼(p ˄ q)
