@ Ellemaus:
Zur Prädikatenlogik vergleiche den Artikel bei wikipedia:
Die Prädikatenlogik ist eine "Erweiterung der Aussagenlogik". Worin diese genau besteht, kannst du gut bei wiki sehen:
"Prädikatenlogik ist eine Erweiterung der
Aussagenlogik. In der Aussagenlogik werden zusammengesetzte Aussagen daraufhin untersucht, aus welchen einfacheren Aussagen sie zusammengesetzt sind. Zum Beispiel besteht die Aussage „Es regnet oder die Erde ist eine Scheibe“ aus den beiden Aussagen „Es regnet“ und „Die Erde ist eine Scheibe.“ Diese beiden Aussagen lassen sich ihrerseits nicht in weitere Teilaussagen zerlegen – sie werden deshalb atomar oder elementar genannt. In der Prädikatenlogik werden atomare Aussagen hinsichtlich ihrer inneren Struktur untersucht.
Ein zentrales Konzept der Prädikatenlogik ist das
Prädikat. Ein Prädikat ist eine Folge von Wörtern mit Leerstellen, die zu einer wahren oder falschen Aussage wird, wenn in jede Leerstelle ein Eigenname eingesetzt wird. Zum Beispiel ist die Wortfolge „… ist ein Mensch“ ein Prädikat, weil durch Einsetzen eines
Eigennamens – etwa „Sokrates“ – ein Aussagesatz, zum Beispiel „Sokrates ist ein Mensch“, entsteht. Die Aussage „Die Erde ist eine Scheibe“ lässt sich prädikatenlogisch in den Eigennamen „die Erde“ und das Prädikat „… ist eine Scheibe“ zerlegen. Anhand der Definition und der Beispiele wird klar, dass der Begriff „Prädikat“ in der Logik, speziell in der Prädikatenlogik, nicht dieselbe Bedeutung hat wie in der traditionellen
Grammatik, auch wenn historisch und philosophisch ein Zusammenhang besteht. Statt eines Eigennamens kann in das Prädikat auch eine Variable eingesetzt werden, wodurch das Prädikat zu einer Satzfunktion wird: φ(
x)=„
x ist ein Mensch“ ist eine Funktion, die in der klassischen Prädikatenlogik für die Eigennamen derjenigen Individuen, die Menschen sind, den Wahrheitswert
wahr ausgibt und für alle anderen den Wahrheitswert
falsch.
[2"
Quelle:
https://de.wikipedia.org/wiki/Prädikatenlogik
Ich bin zwar kein Experte in "Logik" /"collegium logicum", aber wiki hilft in solchen Fällen ganz gut, um sich zu informieren