德语 » 中文

词条„Existenzquantor“在德语 » 中文中的译文

(跳至 中文 » 德语)
写法相似的词语有： Existenz

Existẹnz <-, -en> 名词 f

单语范例（未经PONS编辑处理）

德语
Die Skolemform hat keine Existenzquantoren, alle Ausdrücke sind aufgelöst.
de.wikipedia.org
Formal lässt sich dies über einen Allquantor ausdrücken, obwohl indefinite Nominalphrasen in der Regel als Existenzquantor analysiert werden.
de.wikipedia.org
Diese sind jedoch nicht unbedingt nötig, denn sie lassen sich auf den All- und den Existenzquantor sowie auf das Identitätsprädikat zurückführen.
de.wikipedia.org
Die Logische Äquivalenz zwischen zwei prädikatenlogischen Aussagen ergibt sich durch den schematischen Austausch von Allquantor und Existenzquantor.
de.wikipedia.org
Variablen, die an Existenzquantoren gebunden sind, werden durch neue Funktions- oder Konstantensymbole ersetzt.
de.wikipedia.org
Anschließend werden die Existenzquantoren entfernt, um eine Skolemform zu erhalten.
de.wikipedia.org
Der Existenzquantor besagt, dass ein Prädikat auf mindestens ein Individuum zutrifft.
de.wikipedia.org
Jede arithmetische Formel ist äquivalent zu einer Formel in Pränexnormalform, die abwechselnd einen All- und einen Existenzquantor hat.
de.wikipedia.org
Wie schon gesagt, steht das x von hier nicht im Skopus des Existenzquantors.
de.wikipedia.org
Man beachte, dass hier nicht zur Substitution durch frei ist, da es im Skopus des Existenzquantors vorkommt.
de.wikipedia.org

您想添加一个词、一个短语或一段译文吗？

请发送给我们，我们很高兴看到您的反馈！

浏览词典

德语

"Existenzquantor"在 德语 词典中的定义


语言 Deutsch | English | Italiano | 中文
浏览词典
最受欢迎