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

Error in citation convention for negation elimination #24

Closed jenniferrcarr closed 6 years ago

jenniferrcarr commented 6 years ago

In the explanation of negation elimination, the current version says: "we always cite the sentence first, followed by its negation" (116). But where the rule is presented immediately above this, the negation of the sentence is cited first, followed by the sentence.

(Thanks for the fantastic resource!)

catrincm commented 6 years ago

I think we don't care which order they're cited in (e.g. for biconditional rule there's no additional specification of citation order) so we should remove that sentence Jennifer highlights.

rzach commented 6 years ago

Done. The other E rules do in fact specify the order. Of course you're free to not enforce that but some people may want it. I've left it in but fixed it. Thanks for reporting it!

rzach commented 6 years ago

Say hi to Clinton and and Kerry for me.