Aussagenlogik (Syntax)

aussagenlogische Formel ist

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

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