Aussagenlogik: Syntax

aussagenlogische Formel:

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