Fix some variable name mistakes in the PL formation sequences material

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 7 months ago

beastaugh commented 7 months ago

What it says on the tin, plus making the initial formation sequences lemma an exercise for PL like it is for FOL.