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

Mistake in 25.2 #98

Closed Nikk-l closed 3 months ago

Nikk-l commented 3 months ago

In section 25.2, on page 217 of the printed version, it is defined that:

i: Imre k: Karl L(x,y): x loves y M(x,y): y loves x

However, on the following page (p.218), the sentence 'M(i,k)' is rather deconstructed into the sentence 'Imre loves Karl', when that should rather be the sentence for 'M(k,i)'. This error is emphasized in the following paragraph, which seems to have corrected this issue.

rzach commented 3 months ago

Thanks!