Die Prädikatenlogik oder Logik erster Ordnung ist ein Teilgebiet der Logik.
Man kann sie als Erweiterung der Aussagenlogik ansehen, die zusätzlich zur Verknüpfung von Aussagen (z. B. durch und oder oder) auch die Eigenschaften von Objekten und ihre Geltungsbereiche betrachtet, wobei erstere durch Prädikatssymbole und Funktionssymbole, letztere durch Quantoren beschrieben werden. Die Grundlagen für eine formale Sprache der Prädikatenlogik (erster Ordnung) wurde von Ludwig Gottlob Frege1879 in seiner "Begriffsschrift" gelegt.
Mit der Prädikatenlogik lassen sich Aussagen wie:
"Es gibt ein Objekt mit der Eigenschaft...._"
"Für alle Objekte XY gilt...._"
formal darstellen, weiterhin sind Schlussfolgerungen (abstrahiert von der Semantik der prädikatenlogischen Symbole) möglich.
Beispiel (umgangssprachlich):
"Alle Metalle leiten den Strom."
"Kupfer ist ein Metall."
Daraus lässt sich auch ohne den Formalismus der Prädikatenlogik schließen:
"Kupfer leitet den Strom."
In diesem Beispiel stellt in der ersten Aussage "Alle" einen Quantor dar, "leiten den Strom" ist ein Prädikat zu der Variablen, die mit "Metalle" belegt ist. In der zweiten Aussage ist "ist ein Metall" ein Prädikat zu "Kupfer".
Formal sieht dies so aus:
Hier müssen die Symbole noch mit Semantik gefüllt werden, also den Angaben, was die Prädikate bedeuten sollen.
Die Prädikatenlogik gibt einen formalen Rahmen für diese konkrete Schlussfolgerung und darüber hinaus für viele andere weniger offensichtliche Fälle.
Häufig spricht man präziser von Prädikatenlogik erster Stufe (englisch: first-order predicate calculus oder first order logic, FOL). Diese zeichnet sich dadurch aus, dass Sätze des Typs "für jede Eigenschaft E gilt folgendes..." nicht behandelt werden.
Trotz dieser Einschränkung lässt sich aber mit der Prädikatenlogik erster Stufe die ganze Mengentheorie formalisieren und damit gewissermaßen fast das ganze Gebiet der Mathematik. Die Prädikatenlogik ist die klassische Logik, die der Mathematik zugrunde liegt.
Wie jeder Logikkalkül besteht die Prädikatenlogik aus
Angaben, wie man systematisch formal korrekte Aussagen konstruiert,
einer Menge von Axiomen, von denen jedes einzelne Axiom ebenfalls eine formal korrekte Formel darstellt,
einer Menge von Regeln, die erlauben Sätze (Theoreme) aus früher hergeleiteten Sätzen oder den Axiomen herzuleiten.
Formal fügt die Prädikatenlogik der Aussagenlogik, die den Wahrheitsgehalt kombinierter Aussagen untersucht, folgende Elemente hinzu:
1. Die Sätze sind hier in Erweiterung zur Aussagenlogik mit Quantoren versehen, die Aussagen über die Lösungszahl machen. Der All-Quantor (∀) sagt, dass für alle betrachteten Elemente oder Elementkombinationen eine (zusammengesetzte) Aussage zutrifft.
2. Der Existenz-Quantor (∃) sagt, dass mindestens für ein Element der betrachteten Elemente oder Elementkombinationen eine (zusammengesetzte) Aussage zutrifft.
Erweiterungen der Logik erster Ordnung sind unter anderem die
Will man eine Aussage "für alle Objekte gilt die Aussage A" verneinen, dann erreicht man dies zunächst durch Voranstellen von "nicht" und späteren
"Ausmultiplizieren":
¬(für alle Objekte gilt die Aussage A) ⇔ Es existiert (mindestens) ein Objekt mit ¬A (A ist nicht wahr)
Kurz:¬(∀A) ⇔ ∃(¬A)
Beispiel 1: Alle Autos sind grün.
Verneinung: Nicht alle Autos sind grün ⇔ Es gibt (mindestens) ein Auto, das nicht grün ist. (Natürlich kann es auch grüne Autos geben.)
Beispiel 2: Für alle ganzen Zahlen n gilt: n2 ist eine Primzahl.
Verneinung: Es gibt (mindestens) eine ganze Zahl n mit der Eigenschaft n2 ist keine Primzahl.
Verneinung von Aussagen "Es existiert..._"
Will man eine Aussage "Es existiert (mindestens) eine ganze Zahl n für die gilt: Aussage A(n) ist wahr" verneinen, dann erreicht man dies zunächst durch
Voranstellen von "nicht" und späteren "Ausmultiplizieren":
¬(Es existiert (mindestens) eine ganze Zahl n für die gilt: Aussage A(n)
ist wahr) ⇔ Für alle ganzen Zahlen n gilt ¬A(n)
Kurz:¬(∃A) ⇔ ∀(¬A)
Beispiel 1: Es gibt (mindestens) eine ganze Zahl n mit der Eigenschaft: n ist durch 3 teilbar und n ist nicht durch 6 teilbar.
Verneinung: Für alle ganzen Zahlen n gilt: ¬(n ist durch 3 teilbar und n ist nicht durch 6 teilbar) ⇔ Für alle ganzen Zahlen n gilt: n ist nicht durch 3 teilbar oder n ist durch 6 teilbar.
Beispiel 2: Es gibt (mindestens) einen Deutschen der lügt.
Formeln der Prädikatenlogik lassen sich beispielsweise mit der Programmiersprache Prolog automatisch handhaben, jedoch wird dann zusätzliche die Closed-world-assumption (Annahme zur Weltabgeschlossenheit) angenommen.
Eine Form der Wissensrepräsentation kann mit einer Sammlung von Ausdrücken in Prädikatenlogik erfolgen.
Der Relationenkalkül, eine der theoretischen Grundlagen von Datenbankabfragesprachen wie etwa SQL, bedient sich ebenfalls der Prädikatenlogik als Ausdrucksmittel.
Dieser Beitrag ist aus der XML-Version der deutschen WikiPedia® entwickelt worden und unterliegt inhaltlich den GNU FDL-Lizenzbestimmungen. Linkziele außerhalb der wikipedia-Inhalte unterliegen den Urheberrechten der jeweiligen Anbieter
( DirectDownloads ) Kalenderblätter druckfertig aufbereitet für Schmuckblätter zum Selbstdrucken im Word DOC6/RTF Format, je Euro 5 über Click&BuyJAN | FEB | MÄRZ APRIL | MAI | JUNI JULI | AUG | SEPT OKT | NOV | DEZ
Das Geschenk für jeden Anlass, nicht nur bei 'runden' Jubiläen Andere Einzeltage oder Zahlungsarten bitte HIER bestellen
Diese Web Site verdient ihr Geld durch Produktverkäufe (CD-ROM, downloads) und in erster Linie durch Anzeigen. Wenn Sie als Webmaster zuverlässige Partner suchen für Ihr eigenes Anzeigenschäft, dürfen Sie sich gerne auf unsere Empfehlungen stützen:
z.B.: GigaCash & ProfiWin
