Prädikatenlogik (Idee)

Die Prädikatenlogik erweitert die Aussagenlogik, um über Objekte und deren Eigenschaften zu sprechen. Sie nutzt:

• Variablen ($x,y,\dots$) für Elemente einer Menge.
• Quantoren: $\mathrm{\forall }$ (für alle), $\mathrm{\exists }$ (es gibt).
• Relationen und Funktionen zum Vergleich und zur Verknüpfung von Objekten.
  Dies ermöglicht Aussagen wie: "Für jede Zahl $x$ gibt es eine Zahl $y$, die größer ist".