Prevodi za „Existenzquantor“ v slovarju angleško » nemški

existential quantifier MAT.

Existenzquantor m. spol

Enojezični primeri (nepregledani od uredništva PONS)

nemščina

Anschließend werden die Existenzquantoren entfernt, um eine Skolemform zu erhalten.

de.wikipedia.org

Wie schon gesagt, steht das x von hier nicht im Skopus des Existenzquantors.

de.wikipedia.org

Variablen, die an Existenzquantoren gebunden sind, werden durch neue Funktions- oder Konstantensymbole ersetzt.

de.wikipedia.org

Die Skolemform hat keine Existenzquantoren, alle Ausdrücke sind aufgelöst.

de.wikipedia.org

Die Logische Äquivalenz zwischen zwei prädikatenlogischen Aussagen ergibt sich durch den schematischen Austausch von Allquantor und Existenzquantor.

de.wikipedia.org

Die Quantifizierung durch einen Allquantor bezeichnet man als Allquantifikation, die durch einen Existenzquantor als Existenzquantifikation.

de.wikipedia.org

Symbolisiert wird der Existenzquantor meist durch eines der Zeichen oder.

de.wikipedia.org

Dadurch kann der Existenzquantor des Eselssatzes die Pronomen in der Semantik binden, auch wenn sie syntaktisch ungebunden bleiben.

de.wikipedia.org

Man beachte, dass hier nicht zur Substitution durch frei ist, da es im Skopus des Existenzquantors vorkommt.

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