Prädikatenlogik de · NOUN
Pronunciation
- audio
- [pʁɛdiˈkaːtn̩ˌloːɡɪk]
Etymology
Determinativkompositum aus den Substantiven Prädikat und Logik
Meanings
-
(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
„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.“
Thomas v. Randow: Logik aus der Denkmaschine. In: Die Zeit. 3. Oktober 1986, abgerufen am 4. Februar 2013.„Da es sich hierbei um Beziehungszahlen handelt, reicht die bisherige Prädikatenlogik zu ihrer Definition nicht aus.“
Marcus Bierich: Einführung in die mathematische Philosophie. In: Die Zeit. 24. Dezember 1982, abgerufen am 4. Februar 2013.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| PL | Abbr=Yes, Gender=Fem | sense_index:1 | lexicographic |
| Prädikatenlogik | Case=Acc, Gender=Fem, Number=Sing | lexicographic | |
| Prädikatenlogik | Case=Gen, Gender=Fem, Number=Sing | lexicographic | |
| Prädikatenlogik | Case=Nom, Gender=Fem, Number=Sing | lexicographic | |
| Prädikatenlogik | Case=Dat, Gender=Fem, Number=Sing | lexicographic |
Hypernyms
Synonyms
Translations (1)
cs predikátová logika (System zur Darstellung von Aussagen, welches auf Prädikaten und Quantoren aufbaut)