Truth: Solutions to Problems

Exercise 5.1

P | (P ∧ ¬P)
0 |  0 0 10
1 |  1 0 01

Exercise 5.2

P Q | (¬P ↔ ¬Q)
0 0 |  10 1 10
0 1 |  10 0 01
1 0 |  01 0 10
1 1 |  01 1 01

Exercise 5.3

P Q | (¬P ∨ Q)  (P → Q)
0 0 |  10 1 0    0 1 0
0 1 |  10 1 1    0 1 1
1 0 |  01 0 0    1 0 0
1 1 |  01 1 1    1 1 1

Exercise 5.4