Formal Logic COS4807

This module provides an introduction to formal logic. For this field of study, you need a background in discrete mathematics, covered by a course like our undergraduate module COS1501. In particular, we assume that you are familiar with set theory and mathematical proof techniques. The study of formal logic requires a high level of mathematical rigour, so if you coped well with mathematics at school or at undergraduate level, then you should have an aptitude for formal logic too. If you have nev...

This tutorial letter primarily provides some additional notes on the prescribed book. It states which sections are more or less important, and provides additional explanations of some concepts. It also includes worked-out examples similar to problems in the assignments and the exam. Unless otherwise stated, all page, figure, example, definition and theorem numbers referred to in this tutorial letter are in the prescribed book by Ben-Ari (3rd edition) - see Section 4.2 of Tut Letter 101.

This Tutorial contains SOLUTIONS TO ASSIGNMENT 1

This Tutorial contains SOLUTIONS TO ASSIGNMENT 2

This Tutorial Letter contains SOLUTIONS TO ASSIGNMENT 3