German » Chinese

Translations for „Existenzquantor“ in the German » Chinese Dictionary

(Go to Chinese » German)
You are viewing results spelled similarly: Existenz

Existẹnz <-, -en> N f

Monolingual examples (not verified by PONS Editors)

German
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

Would you like to add a word, a phrase or a translation?

Just let us know. We look forward to hearing from you.

Browse the dictionary

German

"Existenzquantor" in the monolingual German dictionaries


Choose your language Deutsch | English | Italiano | 中文
Browse the dictionaries
Most popular