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

Consider rule names, make configurable #16

Open rzach opened 7 years ago

rzach commented 7 years ago

Not all rule labels are produced by macros, and the style file has two sets for them. Make that uniform.

Also as suggested in #11 by @catrincm, avoid Latin. ECQ is Explosion, TND law of excluded middle.

rzach commented 7 years ago

@catrincm that is an excellent point. What do you call Modus ponens? Modus tollens? Anything else that needs changing?

catrincm commented 7 years ago

Modus Ponens is such a familar term that it's useful for them to know that. Modus tollens too is relatively used (more than TND) and I don't know of any nice alternatives. It was just the TND and ECQ I was thinking about.

I've opened new comment about one further point on the choice of rules: #17.