existential quantifier
Ein logischer Operator, der besagt, dass mindestens ein Element einer Menge eine bestimmte Eigenschaft besitzt.
A logical operator indicating that there is at least one object in a domain that satisfies a property.
-
Der Existenzquantor wird in der Prädikatenlogik häufig verwendet.— The existential quantifier is frequently used in predicate logic.
-
In dieser Formel steht der Existenzquantor vor der Bedingung.— In this formula, the existential quantifier stands before the condition.
-
Man muss den Existenzquantor korrekt in die Aussage einsetzen.— One must correctly insert the existential quantifier into the statement.
Антонимы