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.
