The Logic Manual
On this page you'll find various support materials to be used in conjunction with the Logic Manual. The publisher's web page for the book can be found here.
Note on the print version. The content of the print version differs only slighlty from those of the previous online versions. The only substantial change is the use of different Natural Deduction rules for the biconditional. The old online versions are no longer available.The Exercises Booklet can be downloaded from here. For 2012/2013 there are no changes from the previous year. A version containing solution is available upon request for those teaching from the Manual.
I have prepared some worked examples in pdf files. To open the pdf file for an example click on the claims below.
Partial truth tables
Natural Deduction proofs: propositional logic
Natural Deduction proofs: predidate logic
Natural Deduction proofs: predidate logic with identity
More examination papers are available from OXAM (restricted access).
Here you'll find the computer presentations of each week as a pdf file. These slides contain some less formal comments and explanations; the Logic Manual is the main text. The best way to read the slides is to read them on the screen. The files have been designed for use as slides in a computer presentation, not as a text to be read as a textbook.
I have prepared two version for each lecture: the original version I used in the lectures and a printer-friendly version without overlays and with four slides per sheet. In the printer-friendly version some slides will come out garbled because of the missing overlays. You can print the original version with two or four slides per sheet by using the multiple pages per sheet option in the printer menu.
I have been asked to make Powerpoint versions available. I can't do this because I have used a program called TeX to produce the pdf files.
The slides of Lecture 6 contain many formal proofs that are gradually built up. Since so many people have asked me for a print version I have produced one, but I strongly discourage its use.
All files are in pdf format. The Acrobat Reader may be used for viewing these files.
For the revised examination rules from 2013, Gail Leckie has produced two “elementary and straightforward” questions together with solutions . They can be found on WebLearn (login required).
Note on typesetting
I have been asked how to typeset logic. The Logic Manual itself and all the auxiliary material have been written in LaTeX, which is a freely available programme. There are many web sites devoted to LaTeX. The page of the Mathematical Institute for LaTeX probably contains more than what you want to know. For Windows I recommend MikTeX.