These are the mistakes I know about in the 1.0 version for forall x: UBC Edition. I plan to correct these in a new edition after the current (Winter 2019) semester.

This page is available at bit.ly/forallx-errors.


p. 29: change ‘catch cold’ to ‘catch a cold’ in sentences 28 and 29


p. 57: change ‘the argument in invalid, period’ to ‘the argument is invalid, period.’


p. 72: missing ⊥ symbol after turnstile in exercise A5.


p. 217: change ‘this is a valid argument’ to ‘this is a valid argument form’