Tutorial Problems 4 - For Week 5

From the text do:

Exercise 3.4.1, p. 45.

1a, 2a, 3a.


Note: You are best advised to use the truth tree rules of the 'Orthodox Strategy' introduced in the lecture (i.e. MN, <>R, []R, Refl, Tran, Sym.)