Aussagenlogik: Syntax

aussagenlogische Formel:

• elementar: Variable v₁,... , (Konstante 0, 1)
• zusammengesetzt: durch Operatoren
  • einstellig: Negation
  • zweistellig: Konjunktion, Disjunktion, Implikation, Äquivalenz