Die Prädikatenlogik bedient sich eines Begriffsgebildes bestehend aus:
-
Terme:
Namen von Objekten im Beobachtungsbereich. Das können im sprachlichen Sinn sowohl Objekte als auch Subjekte sein!
-
Variable:
Stehen für noch nicht bekannte Objekte
-
Prädikate:
Stehen für Eigenschaften, Relationen und Klassen. Im sprachlichen Sinn können das Verben oder Attribute sein.
-
Quantoren:
Quantoren erlauben Aussagen über Mengen von Objekten, für die das Prädikat gilt.
Beispiel:
Aussage A: Es regnet in allen Städten.
Aussage B: Berlin ist eine Stadt.
Also: Es regnet in Berlin (weil Berlin eine Stadt ist).
In Aussage A ist alle ein Quantor, es regnet das Prädikat zu Städten.
In Aussage B ist Stadt das Prädikat zu Berlin.