Logic 1

"How to" guides for logic

These documents go into detail about some basic skills required for Logic. They are intended to supplement the lecture notes. If you are already confident with these skills, you will not need to read the guides. But if you are struggling, take a look. They may help.

If you have any questions or suggestions of how the documents can be improved, then please email me.

1: Connectives, formulae and scope.
2: How to construct a truth table.
3: The 'quick testing' method for sequent validity - NB this is not required for the current logic course..
4: How to break down a formulas in a semantic tableau - Updated 30 Oct 2005..
5: Introducing a new connective - This document explains how to handle the questions in past exam papers that introduce new connectives (those tend to be question 5). It is possible, though not certain, that there will be a similar question in your exam.

You can also test your understanding of some of the most important terms in the logic glossary: try the logic terminology exercise. Check your answers once you've had a go.