Defined symbols undefined

[rzach]

In

OpenLogic/content/first-order-logic/syntax-and-semantics/first-order-languages.tex

Line 92 in 9446c03

In addition to the primitive connectives and

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]

Nvm they are in the next section lol