- Prädikatenlogik
- Prä|di|ka|ten|lo|gikdie; -: Teilgebiet der Logik, das die innere logische Struktur der Aussage untersucht.
Das große Fremdwörterbuch. 2013.
Prädikatenlogik
Schlagen Sie auch in anderen Wörterbüchern nach:
Prädikatenlogik — oder Quantorenlogik ist eine Familie logischer Systeme, die es erlauben, einen weiten und in der Praxis vieler Wissenschaften und deren Anwendungen wichtigen Bereich von Argumenten zu formalisieren und auf ihre Gültigkeit zu überprüfen. Auf Grund … Deutsch Wikipedia
Prädikatenlogik — Quantorenlogik * * * I Prädikatenlogik, das Teilgebiet der Logik, das sich mit den Aussagen beschäftigt, die mithilfe von Prädikaten und Quantoren gebildet werden. II Prädikatenlogik [lat. praedicatio »Aussage«] (Prädikatenkalkül), Logik. * * … Universal-Lexikon
Prädikatenlogik — an logische Grundkonzepte angelehnte Form der ⇡ Wissensrepräsentation. Die am häufigsten verwendete Prädikatenlogik erster Ordnung umfasst: Variablen, Konstanten, Funktionen, Prädikate und Ausdrücke mit Verknüpfungsapparaturen und Quantoren. Ein… … Lexikon der Economics
Prädikatenlogik zweiter Stufe — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… … Deutsch Wikipedia
Prädikatenlogik erster Stufe — Die Prädikatenlogik erster Stufe ist ein Teilgebiet der mathematischen Logik. Sie befasst sich mit der Struktur gewisser mathematischer Ausdrücke und dem logischen Schließen, mit dem man von derartigen Ausdrücken zu anderen gelangt. Dabei gelingt … Deutsch Wikipedia
Prädikatenlogik höherer Stufe — Unter Logik höherer Stufe (englisch: Higher Order Logic, HOL) versteht man eine Erweiterung der Prädikatenlogik erster Stufe. Sie basiert auf dem typisierten Lambda Kalkül und geht auf Alonzo Churchs Theory of Simple Types zurück. Entwickelt um… … Deutsch Wikipedia
Prädikatenlogik — Prä|di|ka|ten|lo|gik 〈f.; Gen.: ; Pl.: unz.; Philos.〉 Teilgebiet der mathematischen Logik, das sich mit der formalen Analyse von Aussagen befasst u. dabei die Aussageform als eine Funktion mit Konstanten u. Variablen betrachtet … Lexikalische Deutsches Wörterbuch
Quantorenlogik — Prädikatenlogik … Universal-Lexikon
Logik erster Ordnung — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… … Deutsch Wikipedia
PK1 — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… … Deutsch Wikipedia
