Exercise 1.6 | Q 2.2 | Page 16
Examine whether the following statement pattern is a tautology, a contradiction or a contingency.
(~ q ∧ p) ∧ (p ∧ ~ p)
p | q | ~p | ~q | (~q∧p) | (p∧~p) | (~q∧p)∧(p∧~p) |
T | T | F | F | F | F | F |
T | F | F | T | T | F | F |
F | T | T | F | F | F | F |
F | F | T | T | F | F | F |
All the truth values in the last column are F. Hence, it is a contradiction.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEilyFd11AyMYXvGoklYFqXUpeZxvjXuaEfG3q-0Z2YX2L3yofOZQEaIc3nwRq5YHet2OkSryE__4n03_qEt9dyZdxrG2UdzG1XwvOzSSXGIzj__pXB23NfByYMn9ZZkhDZt9TyXycc6ewo/s16000-rw/MATHEMATICAL+LOGIC.001.jpeg)