equal
deleted
inserted
replaced
21 \label{sec:Logic} |
21 \label{sec:Logic} |
22 |
22 |
23 \subsection{Formulas} |
23 \subsection{Formulas} |
24 |
24 |
25 The core syntax of formulas (\textit{form} below) |
25 The core syntax of formulas (\textit{form} below) |
26 provides the standard logical constructs, in decreasing precedence: |
26 provides the standard logical constructs, in decreasing order of precedence: |
27 \[ |
27 \[ |
28 \begin{array}{rcl} |
28 \begin{array}{rcl} |
29 |
29 |
30 \mathit{form} & ::= & |
30 \mathit{form} & ::= & |
31 \isa{{\isaliteral{28}{\isacharparenleft}}form{\isaliteral{29}{\isacharparenright}}} ~\mid~ |
31 \isa{{\isaliteral{28}{\isacharparenleft}}form{\isaliteral{29}{\isacharparenright}}} ~\mid~ |