квантор существования
Ein logischer Operator, der besagt, dass mindestens ein Element einer Menge eine bestimmte Eigenschaft besitzt.
Логический оператор, указывающий на наличие хотя бы одного объекта с заданным свойством.
-
Der Existenzquantor wird in der Prädikatenlogik häufig verwendet.— Квантор существования часто используется в логике предикатов.
-
In dieser Formel steht der Existenzquantor vor der Bedingung.— В этой формуле квантор существования стоит перед условием.
-
Man muss den Existenzquantor korrekt in die Aussage einsetzen.— Нужно правильно вставить квантор существования в утверждение.
Антонимы