ITL
© 1996-2015







1 Syntax Propositional Logic

Syntax of Propositional Logic:

  • Boolean values: true,false
  • Boolean variables: p,q,...
  • Boolean operators:
    ∧   (and),
∨   (or),
   (not),
⊃   (im plication),
≡   (equivalence)

Syntax of propositional formulae in BNF:

f ::=   true|p|f|f1 ∧ f2

Derived Boolean operators:

false     =^  tru e
f1 ∨ f2  =^  (f1 ∧ f2 )
f1 ⊃ f2  =^  f1 ∨ f2
f1 ≡ f2  =^  (f1 ⊃ f2) ∧ (f2 ⊃ f1)