Correct notation and punctuation in PL section

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook

http://openlogicproject.org/

Creative Commons Attribution 4.0 International

1.04k stars 238 forks source link

Closed greleigh closed 4 years ago

greleigh commented 4 years ago

Fixed notation in proof of Truth Lemma for propositional logic (missing \iftag{FOL} in one case)
Fixed punctuation in two propositions

rzach commented 4 years ago

Thanks!