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. A version containing solution is available upon request for those teaching from the Manual.Examples
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
Sample papers
Sample paper, Michaelmas 2008 · solutions
Collection paper for Hilary 2009 · solutions and marking scheme
Sample paper (past paper from 2010)
Sample paper (past paper from 2010) · solutions
More examination papers are available from OXAM (restricted access).
Lecture slides
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.
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.