Back to my home page; to my teaching page.


Logic and Proof F22H1

(this is the 2007 material -- it will change for 2008)

Lecture Times

I do the second half of this course, from Monday 29th October. Lectures will be mondays and thursdays, and the friday slot will continue to be a tutorial slot, going through exercises from the book with Daniel and Vincent.


You will recall that the syllabus is here; Professor Kamareddine covered Propositional Calculus; I will cover the rest.

The examinable sections in the book (Nederpelt & Kamarredine) for my part of the course are: 8.2, 8.3, 8.4 , 9.1, 9.2, 9.3, 9.4, 9.5, 9.6, 9.7, 9.8, 11.4, 11.5, 11.6. In addition, I will provide notes here for sets and relations (simplified from the book), and the topics of clausal form and resolution. These notes will also be examinable.

Naturally, it will be good, even necessary, to read the parts of chapters 8, 9 and 10 that are missing from the above list, however you will do fine to concentrate on those listed for the purposes of the examination.

Material, and what will happen week by week:

Here are some sample class test and answers:

Example test 1: test, answers

Example test 2: test, answers

Here are answers to most of the relevant exercises in the book, and some others:

DWC answers for Chapter 8: here

FHK answers for some of chaps 8 and 9: here (it is a special bonus to get two lots of answers for some of chapter 8)

FHK answers for some of chaps 10 and 11: here -- since we have not done chapter 10, you can ignore the answers -- what we need to know about sets and relations is simple and can be absorbed quickly (many of you will know this already); however, it woul dbe a good exercise for you to try 10.1 for yourself and then check the answer. Meanwhile it will be very good for you to try chapter 11 exercises and then check the answers. But at the least please do 11.1 and 11.3. Feel free to email me with any questions about the answers.


Here are some example questions, with example answers, of the form "translate this bit of logic into English": log2eng.doc

Week 8 Test: Thursday 22nd November

There was a class test on Thursday 22nd November, worth 20% of your marks for the module.

Here is the test along with answers and general feedback: here.doc


This page last updated: just now.