tedesco » cinese

Traduzioni di „Existenzquantor“ nel dizionario tedesco » cinese

(Vai a cinese » tedesco)
Stai visualizzando i risultati dalla grafia simile: Existenz

Existẹnz <-, -en> SOST f

Esempi monolingue (non verificati dalla Redazione di PONS)

tedesco
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

Vuoi aggiungere una parola, una frase o una traduzione?

Inviacelo - Saremo lieti di ricevere il tuo feedback!

"Existenzquantor" nei dizionari monolingue di tedesco


Pagina in Deutsch | English | Italiano | 中文