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: 10(B)(3) #11

Closed jonathanichikawa closed 5 years ago

jonathanichikawa commented 5 years ago

The answer key has a mistake in chapter 10, B.3. The finite model is incorrect.

jonathanichikawa commented 5 years ago

Looking this over, I think I was wrong to flag this as an error. It looks correct to me now.