search

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook
http://openlogicproject.org/
Creative Commons Attribution 4.0 International
1.04k stars 237 forks source link

'Monotony' versus 'monotonicity' #319

Closed beastaugh closed 1 year ago

beastaugh commented 1 year ago

The book (mostly) uses the term 'monotony' rather than 'monotonicity'. To be honest, I've never encountered the former used as a synonym for the latter in mathematical contexts, although that may be my ignorance speaking more than anything. But since 'monotonicity' seems to be far more widely used, I suggest that we switch wholesale to the latter. I'm happy to author a commit making this change.

rzach commented 1 year ago

Done in 8f2df193ebc5d18ce24dbea8a2658f3042e80399 thanks!