Aussagenlogik (Syntax)

aussagenlogische Formel ist

• Konstante (Wahr, Falsch)
• oder Variable ( p, q,…∈V)
• oder zusammengesetzte Formel:

  ¬F₁, F₁∧F₂, F₁∨F₂,…

Übung: definiere

• Größe einer Formel
• Menge der Variablen einer Formel