Fix a typo, make usage of `!!a{formula}` more consistent, tweak presentation of formation sequences

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook

http://openlogicproject.org/

Creative Commons Attribution 4.0 International

1.02k stars 234 forks source link

Closed beastaugh closed 2 months ago

beastaugh commented 3 months ago

Fixes a typo and expands the material on term formation sequences in first-order logic slightly.