search

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

Defined symbols undefined #263

Closed rzach closed 3 years ago

rzach commented 3 years ago

In https://github.com/OpenLogicProject/OpenLogic/blob/9446c034826702d2dac85c052c6aeab641f20a87/content/first-order-logic/syntax-and-semantics/first-order-languages.tex#L92 we mention defined symbols but don't actually define them. This is hard since every definition depends on what primitives are available, but we can offer some common definitions.

rzach commented 3 years ago

Nvm they are in the next section lol