Aussagenlogik: Syntax

aussagenlogische Formel:

• elementar: Variable v₁,…
• zusammengesetzt: durch Operatoren
  • einstellig: Negation
  • zweistellig: Konjunktion, Disjunktion, Implikation, Äquivalenz