Advertisement
Advertisement
Advertisement
Sum
Show that the following statement pattern is contingency.
p ∧ [(p → ~ q) → q]
Advertisement
Solution
| 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.
Is there an error in this question or solution?
