Sum
Prove that the following statement pattern is a contradiction.
(p ∧ q) ∧ ~p
Advertisement Remove all ads
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.
Is there an error in this question or solution?
Advertisement Remove all ads
APPEARS IN
Advertisement Remove all ads
Advertisement Remove all ads
