Tutorial Problems 3 - For Week 4

From the text do:

Exercise 3.3.1, p. 38.

1b, 1c, 2b - 2e


Note: Use only the truth tree rules of the 'Hintikka Strategy' introduced in the lecture (i.e. MN, <>R, []R, []T, [][]R, [][]SymR.)