Syntax der Prädikatenlogik

• Signatur
  • Relations-
  • Prädikatsymbole
• Term (Funktionssymbolen mit Argumenten)
• Formel
  • Relationssymbol mit Argumenten,
  • Boolesche Verknüpfungen davon
  • Quantoren
  gebundenes und freies Vorkommen von Variablen