search

rzach / forallx-yyc

UCalgary version of forallx, an introduction to formal logic
https://forallx.openlogicproject.org/
Creative Commons Attribution 4.0 International
94 stars 30 forks source link

Truth table typo #95

Closed insighthorizon closed 5 months ago

insighthorizon commented 7 months ago

In solutions for chapter 15, exercise A. 2.:

rzach commented 5 months ago

fixed in https://github.com/rzach/forallx-yyc/commit/034ff3de5f79708339a389beb32bd8cd1604052b; thanks!