   
 14 Syntax First Order LogicSyntax of Integer Expressions:
Syntax of Formulae:
Syntax of Integer Expressions in BNF: where is an integer constant and an integer operator. Syntax of First Order Formulae in BNF: where is a Boolean predicate. Derived formulae:
  

 