universal quantifier
Ein mathematischer oder logischer Operator, der in einer Aussage für alle Elemente eines Bereichs gilt.
A logical operator indicating that a property holds for all elements of a domain.
-
Der Allquantor wird in der Prädikatenlogik oft durch ein umgedrehtes A dargestellt.— The universal quantifier is often represented by an inverted A in predicate logic.
-
In dieser Formel muss der Allquantor korrekt angewendet werden.— In this formula, the universal quantifier must be applied correctly.
Синонимы