equal
deleted
inserted
replaced
9 \label{sec:Logic} |
9 \label{sec:Logic} |
10 |
10 |
11 \subsection{Formulas} |
11 \subsection{Formulas} |
12 |
12 |
13 The core syntax of formulas (\textit{form} below) |
13 The core syntax of formulas (\textit{form} below) |
14 provides the standard logical constructs, in decreasing precedence: |
14 provides the standard logical constructs, in decreasing order of precedence: |
15 \[ |
15 \[ |
16 \begin{array}{rcl} |
16 \begin{array}{rcl} |
17 |
17 |
18 \mathit{form} & ::= & |
18 \mathit{form} & ::= & |
19 @{text"(form)"} ~\mid~ |
19 @{text"(form)"} ~\mid~ |