Advertisements
Advertisements
Question
Prove that the following statement pattern is a contradiction.
(p → q) ∧ (p ∧ ~ q)
Sum
Advertisements
Solution
| 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 |
All the truth values in the last column are F. Hence, it is a contradiction.
shaalaa.com
Is there an error in this question or solution?
