Definicje „Existenzquantor“ w Słownik ortografii niemieckiej

der Exis·tẹnz·quan·tor

FIL., JĘZ. vgl. Existenzoperator

Zobacz też Existenzoperator

der Exis·tẹnz·ope·ra·tor

FIL., JĘZ. Operator zur partikularisierenden Spezifizierung einer Menge

Przykłady z Internetu (niezredagowane i niesprawdzone przez PONS)

niemiecki

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

de.wikipedia.org

Existenzquantoren); andere Ausdrücke heißen nicht-logisch.

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

Der Existenzquantor besagt, dass ein Prädikat auf mindestens ein Individuum zutrifft.

de.wikipedia.org

In dieser Formel sind beide Variablen frei, sie werden also durch den Existenzquantor gebunden.

de.wikipedia.org

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

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

Schreibt man dies etwas formaler auf, so sieht man, dass der Existenzquantor und der Allquantor vertauscht werden.

de.wikipedia.org

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

de.wikipedia.org

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

de.wikipedia.org