Name

Typos

Hind
Zantout

Examples 1.3.5(1). An
extraneous negation sign has found its way into the formula
in the truth table. Erase it. Due to printer's devil.

Hind
Zantout

Examples
1.4.15 refer to Example 4.1(1) this should be Example
1.4.4(1).

Euan Aitken

Solution to Exercises 1.3
Question1(a). The truth assignment leading to F is P=T, q=F
and r = T (the value for r is missing).

Aaron
Molesbury

Solution to Question 1 of
Exercises 1.5. The penultimate connective in the solution
should also be a conjunction.

Alexander Evetts

Exercises 2.2, Question 13.
The final symbol in the equation should be an x not a y.

Calum Wyness

Question 4 of Exercises 3.1. The notation
used in the solution does not match that used in Example
3.1.4. In fact, you need to refer to Example 3.1.19. The
firstorder language of logic used has two 1place predicate
symbols A and B and two 2place predicate symbols P and Q.
The formulae have to be written in this language. The
formulae you write down are then interpreted as the given
relations in the family tree.

Jolene Stout

Question 2(l) of Exercises 3.1. The solution
has an `e' where it should have a `c'.

Paul Klingsberg

Question 13 of Exercises 2.2. The righthand
side of the equality should end with `+ x' not `+ y'. The
point is, that the righthand side is the same as the
lefthand side but with x's and y's interchanged.

Daniel A. Hinds

From page 29 in section 2.9, the quote "It is
much easier to check that a proof is correct
then it is to invent the proof in the first place"
should read "It is much easier to check that a proof is
correct
than it is to invent the proof in the first place". 