2IF25 Formal Methods: Propositional Logic

Selected exercises in Burke & Foxley

September 9

exercise 1.2abc (item (iii) excluded)
exercise 1.3
exercise 1.7

September 16

exercise 1.8
exercise 1.9
exercise 1.10
exercise 1.12