ITL
© 1996-2018







IV.2 Syntax First Order Logic

First Order Logic [Slide 114]

Summary of the syntax of Integer Expressions:

  • Integer values: 0, 1,,
  • Integer variable: A,B,
  • meta variables: e,e0,e1,
  • Integer operators: +,,,∗∗,mod,div,

Summary of the syntax of Formulae:

  • Boolean values: true,false
  • Propositional variables: P,Q,
  • Meta variables: f,f0,
  • Boolean predicates: e1 = e2,e1e2,e1 < e2,e1 e2, e1 > e2,e1 e2,
  • Boolean operators: , , ¬, , , V f, V f

    V f abbreviates V f

First Order Logic [Slide 115]

Syntax of Integer Expressions in BNF:

e ::=
z|A|g(e1,,en)

where z is an integer constant and g an integer operator.

Syntax of First Order Formulae in BNF (grammar):

f ::=
true|P| h(e1,,en)|¬f|f1 f2|V f

where h is a Boolean predicate.

Derived formulae:

V f
¬V ¬f







2018-02-25
Contact | Home | ITL home | Course | Proofs | Algebra | FL