ITL
© 1996-2018







II.2 Syntax Propositional Logic

Propositional Logic [Slide 21]

Summary of the syntax of Propositional Logic:

  • Boolean values: true,false
  • Boolean variables: P,Q,
  • meta-variables: f,f1,f2,
  • Boolean operators:

    (And),
    (Or),
    ¬
    (Not),
    (Implication),
    (Equivalence)

Propositional Logic [Slide 22]

Syntax of propositional formulae in BNF (grammar):

f ::=
true|P|¬f|f1 f2

Derived Boolean operators:

false
¬true
f1 f2
¬(¬f1 ¬f2)
f1 f2
¬f 1 f2
f1 f2
(f1 f2) (f2 f1)







2018-03-10
Contact | Home | ITL home | Course | Proofs | Algebra | FL