Advertisements
Advertisements
Question
Prove that the following statement pattern is a contradiction.
(p ∧ q) ∧ ~p
Advertisements
Solution
| p | q | ~p | p∧q | (p∧q)∧~p |
| T | T | F | T | F |
| T | F | F | F | F |
| F | T | T | F | F |
| F | F | T | F | F |
All the truth values in the last column are F. Hence, it is a contradiction.
APPEARS IN
RELATED QUESTIONS
Examine whether the following logical statement pattern is a tautology, contradiction, or contingency.
[(p→q) ∧ q]→p
Show that the following statement pattern in contingency :
(~p v q) → [p ∧ (q v ~ q)]
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 → p) ≡ ∼ p → (p → q)
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 ∨ r)] ↔ ∼ [p → (q → r)]
Determine whether the following statement pattern is a tautology, contradiction or contingency:
(p ∧ q) ∨ (∼p ∧ q) ∨ (p ∨ ∼q) ∨ (∼p ∧ ∼q)
Examine whether the following statement pattern is a tautology, a contradiction or a contingency.
q ∨ [~ (p ∧ q)]
Examine whether the following statement pattern is a tautology, a contradiction or a contingency.
(p ∧ ~ q) → (~ p ∧ ~ q)
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 ∨ ~q)
Using the truth table, verify.
p ∨ (q ∧ r) ≡ (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 ~ q → ~ p and ~ p ∨ q
Prove that the following pair of statement pattern is equivalent.
~(p ∧ q) and ~p ∨ ~q
Write the dual of the following:
~(p ∨ q) ∧ [p ∨ ~ (q ∧ ~ r)]
Write the dual of the following:
p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r
Construct the truth table for the following statement pattern.
(~p ∨ q) ∧ (~p ∧ ~q)
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) ∧ ~(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 I do not work hard, then I do not prosper.
Write the dual of the following.
~(p ∨ q) ≡ ~p ∧ ~q
Choose the correct alternative:
If p → q is an implication, then the implication ~q → ~p is called its
Show that the following statement pattern is a contingency:
(p→q)∧(p→r)
