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.
1.4.15 refer to Example 4.1(1) this should be Example
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).
Question 1 of Exercises 1.5. The penultimate connective in
the solution should also be a conjunction.
2.2, Question 13. The final symbol in the equation should
be an x not a y.
||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.
||Question 2(l) of Exercises
3.1. The solution has an `e' where it should have a `c'.
||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
||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".|
||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
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.