• Artikel
• Bearbeiten
• Historie
• Druckansicht

Prädikatenlogik

Die Prädikatenlogik (oder Quantorenlogik) ist eine Familie logischer Systeme, die es erlauben, einen weiten Bereich von Argumenten zu formalisieren und auf ihre Gültigkeit zu überprüfen. Auf Grund dieser Eigenschaft spielt die Prädikatenlogik eine große Rolle in der formalen und nicht formalen Logik sowie in Mathematik, Informatik?, Linguistik und Philosophie.

Man sieht die Prädikatenlogik als eine Erweiterung der Aussagenlogik?. In der Prädikatenlogik werden atomare Aussagen hinsichtlich ihrer inneren Struktur untersucht.

Das zentrale Konzept der Prädikatenlogik ist das Prädikat?.
Das charakteristische und wichtigste Sprachmittel der Prädikatenlogik ist der Quantor?.