SURNAME (BLOCK CAPITALS):
SIGNATURE: All questions concern our propositional logic and material covered in Chapter 4 of the course text. The marks for each question are shown in brackets. You may NOT use inference rule/Metatheorem MON-AMON or inference rule/Metatheorem MODUS-PONENS anywhere on the test.
All axioms, allowed Metatheorems from Chapters 3 and 4, and lower numbered theorems may be used in the proof of a higher numbered theorem.
The 4th page has been left blank for working, please indicate if there is part of your test there that needs marking. To ensure your paper is graded correctly please underline which part of a sentence a theorem is being applied to.