Tłumaczenia dla hasła „Allquantor“ w angielsko » niemiecki słowniku

universal quantifier MAT.

Allquantor r.m.

Przykłady jednojęzyczne (niezredagowane i niesprawdzone przez PONS)

niemiecki

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