Syntax der Prädikatenlogik

• Signatur: Name und Stelligkeit für
  • Funktions-
  • und Relationssymbole
• Term:
  • Funktionssymbol mit Argumenten (Terme)
  • Variable
• Formel
  • atomar: Relationssymbol mit Argumenten (Terme)
  • Boolesche Verknüpfungen (von Formeln)
  • Quantor Variable Formel
• • gebundenes und freies Vorkommen von Variablen
  • Sätze (= geschlossene Formeln)