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 first-order language of logic used has
two 1-place predicate symbols A and B and two 2-place
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 right-hand side of the equality should end with
`+ x' not `+ y'. The point is, that the right-hand side is
the same as the left-hand 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". |

Raul Alonso
Gonzalez |
Page 204. Solution
to part (c) of Question 3 of Exercises 1.6. The second
column labelled nand should be labelled nor. |

Mahsa T Manzari |
Page 51. Example 1.8.8.
There are two typos in the second displayed logical
equivalence. In the third brackets, there should be no negation in front of the atom z. In the fourth brackets, the conjunction should be a disjunction. |