A first course in logic
This is the errata page for my book 
published by CRC press in December 2018


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".