Was ist der Unterschied zwischen Aussagenlogik und Prädikatenlogik?

Unterschied zwischen Aussagenlogik und Prädikatenlogik

Wenn man sich mit Logik beschäftigt, stößt man früher oder später auf die Frage: Was unterscheidet die Aussagenlogik von der Prädikatenlogik? Die Antwort liegt in der Tiefe der Analyse.

Die Aussagenlogik ist der einfachere Teilbereich. Hier werden Aussagen als Ganzes betrachtet – entweder sie sind wahr oder falsch. Verknüpfungen wie „und“, „oder“ oder „wenn…, dann…“ helfen, komplexe Gedankengebäude aufzubauen. Ein Beispiel: „Wenn es regnet, wird die Straße nass.“ In der Aussagenlogik geht es nur darum, ob die Gesamtaussage wahr ist, nicht um die inneren Bestandteile.

Die Prädikatenlogik geht einen Schritt weiter. Sie zerlegt Aussagen und schaut genauer hin. Statt Aussagen nur als Ganzes zu sehen, analysiert sie ihre innere Struktur – also Subjekt, Prädikat und Quantoren. So kann man etwa sagen: „Alle Menschen sind sterblich“ oder „Es gibt einen Vogel, der nicht fliegen kann“. Solche Aussagen lassen sich mit der einfachen Aussagenlogik nicht ausreichend erfassen.

Die Prädikatenlogik erweitert also die Aussagenlogik um Variablen, Prädikate und Quantoren. Damit wird sie besonders wichtig in der Mathematik, Informatik und Philosophie, wo feine Unterschiede in der Bedeutung eine große Rolle spielen.

Zusammenfassend: Beide Logiken beschäftigen sich mit wahren und falschen Aussagen, aber während die Aussagenlogik an der Oberfläche bleibt, bohrt die Prädikatenlogik tiefer in die Struktur hinein – und macht so komplexes logisches Schließen erst richtig möglich.