quantifier
Ein Symbol in der Logik, das die Menge angibt, für die eine Aussage gilt.
A logical symbol indicating the scope of a predicate.
-
In dieser logischen Formel muss ein Quantor verwendet werden.— A quantifier must be used in this logical formula.
-
Man muss den Quantor korrekt in der Formel platzieren.— One must place the quantifier correctly in the formula.
-
Welcher Quantor beschreibt diese mathematische Aussage?— Which quantifier describes this mathematical statement?
Синонимы