search

jonathanichikawa / for-all-x

Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa
Creative Commons Attribution 4.0 International
16 stars 5 forks source link

error: 12(F)(3) #12

Closed jonathanichikawa closed 5 years ago

jonathanichikawa commented 5 years ago

Chapter 12 part F, question 3, the tree in the answer key is incorrect. It is marked as a completed open tree, but it is not complete, as the b instance of line 1 has not been taken. Indeed, this will turn out to be an infinite tree.

jonathanichikawa commented 5 years ago

Corrected in 1.2