Exercise 1.6 | Q 5.3 | Page 16
Show that the following statement pattern is contingency.
p ∧ [(p → ~ q) → q]
p | q | ~q | p→~q | (p→~q)→q | p∧[(p→~q)→q] |
T | T | F | F | T | T |
T | F | T | T | F | F |
F | T | F | T | T | F |
F | F | T | T | F | F |
Truth values in the last column are not identical. Hence, it is contingency.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEilyFd11AyMYXvGoklYFqXUpeZxvjXuaEfG3q-0Z2YX2L3yofOZQEaIc3nwRq5YHet2OkSryE__4n03_qEt9dyZdxrG2UdzG1XwvOzSSXGIzj__pXB23NfByYMn9ZZkhDZt9TyXycc6ewo/s16000-rw/MATHEMATICAL+LOGIC.001.jpeg)