\begin{definition}[Definition:Language of Predicate Logic/Formal Grammar]
Part of specifying the language of propositional logic is to provide its formal grammar.
<section notitle="true" name="def">
The following rules of formation constitute a bottom-up grammar for the language of predicate logic $\LL_1$.
The definition proceeds in two steps.
First, we will define terms, and then well-formed formulas.
\end{definition}