course in logic
This is the errata
page for my book
by CRC press in December 2018
|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.
1.4.15 refer to Example 4.1(1) this should be Example
|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).
|Solution to Question 1 of
Exercises 1.5. The penultimate connective in the solution
should also be a conjunction.
|Exercises 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 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
than it is to invent the proof in the first place".