Errata
ErrataHere are the known errata in the third edition of Logic Primer by Colin Allen and Michael Hand, published by The MIT Press, 2022.
Please send any additional error reports to prof.colin.allen@gmail.com
Special thanks to Amy Kind and her students at Claremont McKenna College for noticing many of these errors, as well as to Torin Alter and Caitline Mace for their contributions.
The pages listed below can be downloaded as a zipped archive (tgz) file.
| Page | Description |
|---|---|
| xi | The example proof at the top of the page was missing line (9) which should read (9) P → R from 8, discharge 6 |
| 3 | The opening comment should reference chapter 4 rather than chapter 3 |
| 20 | The explanation of the annotation for wedge-elim should be m,n ⋁E Line (3) in example (a) should read 1,2 ⋁E |
| 21 |
In examples (b) and (c) at the top, both occurrences of &E should be ⋁E In description and examples for wedge-intro, multiple occurrences of &I should be ⋁I |
| 22 | Example (a) line (3) should read 1,2 ⋁E |
| 24 | Example (b) line (5) should read 1,4⋁E |
| 25 | Ex. 2.1.1.i line (3) should be P&~Q |
| 26 | There should be no ____ space after P→Q in line (1) of exercise item v. |
| 32 | S54 should have an asterisk, not S55. (See also p.112) |
| 33 | Slight formatting error at line (1) of the proof example placed "& Q" in the annotation column instead of with the sentence at that line, which should read: P & Q |
| 39 | The columns in the example truth table should read (a)(d)(b)(c) from left to right. |
| 55 | A replication of item x in Exercise 4.1.1 was inadvertently tacked onto the end of item xi. |
| 70 | Line 2 of Example (a) at the bottom of the page should not have not ∃E in the annotation. Should read: 2 (2) Fa A |
| 83 | The truth values for the expansion of the premise's consequent was wrong in two ways. The value immediately underneath Ga should be been F, and the consequent of the conditional should also be F. |
| 97 | S125 contained what should have been the conclusion to S124 requiring conclusion restored to S124, and S126 renumbered as S125. (See also adjustment to p.155.) |
| 101 | The answer to 1.2 xi should read Not an expression. The answer to 1.3.2 xiii should read ~(P & P) & (P ↔ Q v ~Q) |
| 103 | 2.1.1 iv line (4) should read 1↔E and at line (5) the annotation should be 1,4→E |
| 105 | Answer to iii line (8) should read 1&E Answer to x line (5) should read 2,4→E Answer to x line (7) should read 6→I(3) |
| 112 | The answer labeled S55 is actually S54. (See also p.32) |
| 125 | Annotation at line (34) should read 33 ⋁I |
| 127 | The truth value under R⋁~P in the first row of the truth table for item v should be T. |
| 131 | The answers to items vii and ix were incorrect. The correct answers are: vii. P:T Q:F R:T S:F T:T or F ix. P:T Q:T R:F S:T T:F |
| 150 | The answers to 6.1.1.iv should contain → instead of ↔. |
| 154 |
•
Item iii was missing second 'T' in the in 'Tx
& Ty' • Item iv reversed the meaning of 'E' from the previous item; it is now corrected for consistency so that 'Ebx' is read as 'Bambi eats/ate x' • Item v had a universal quantifier where an ampersand was needed, so the relevant bit of the formula now shows 'Ty & Byx' |
| 155 | Renumbering of answers to S125 and S126 to S122 and S125. |