Prädikatenlogik

---

Substantiv, f:

Worttrennung:

Prä·di·ka·ten·lo·gik, kein Plural

Aussprache:

IPA [pʁɛdiˈkaːtn̩ˌloːɡɪk]

Bedeutungen:

[1] Logik: System zur Darstellung von Aussagen, welches auf Prädikaten und Quantoren aufbaut; die generellen Termini einer Aussage werden in der Prädikatenlogik durch Variablen ersetzt und formalisiert

Herkunft:

Determinativkompositum aus den Substantiven Prädikat und Logik

Synonyme:

[1] Quantorenlogik

Beispiele:

[1] „Da es sich hierbei um Beziehungszahlen handelt, reicht die bisherige Prädikatenlogik zu ihrer Definition nicht aus.“

[1] „Ansonsten ist das Büchlein allgemeinverständlich und es erklärt – was die beiden anderen erwähnten Bücher versäumen – viel von dem, was hinter der Programmsprache steht, zum Beispiel die Prädikatenlogik oder die Beziehungen zwischen PROLOG und anderen logischen Programmiersprachen.“

---

Dieser Text ist aus der Wiktionary und ist unter der Lizenz CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.002