Revision Material

These notes are designed to help you revise key concepts and get some practice with exam style questions. They are not a complete guide to all the content, you should still incorporate the lecture notes and worksheets. We will also release a practice paper closer to the exam.

Topic: Booleans, Propositional Logic, and Natural Deduction for Propositional Logic

• Notes
• Solutions

Topic: Quantifiers, Predicate Logic, and Natural Deduction for Predicate Logic

• Notes