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

universal quantifier 数学

Allquantor m

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

德语

Sie verwendet als aussagenlogische Grundelemente Zeichen für die Negation und das Konditional, als prädikatenlogisches Element den Allquantor.

de.wikipedia.org

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

de.wikipedia.org

Weiterhin ergänzte er die Boolesche Algebra um Multiplikation und Exponentiation (Allquantor) und versuchte sie in die allgemeine Algebra zu integrieren.

de.wikipedia.org

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

de.wikipedia.org

Es erscheint naheliegend, den Existenzquantor als Verkettung von Disjunktionen („oder“) und den Allquantor als Verkettung von Konjunktionen („und“) aufzufassen.

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

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

de.wikipedia.org