квантор общности
Ein mathematischer oder logischer Operator, der in einer Aussage für alle Elemente eines Bereichs gilt.
Логический оператор, обозначающий, что свойство присуще всем элементам множества.
-
Der Allquantor wird in der Prädikatenlogik oft durch ein umgedrehtes A dargestellt.— Квантор общности в логике предикатов часто обозначается перевернутой буквой A.
-
In dieser Formel muss der Allquantor korrekt angewendet werden.— В этой формуле необходимо правильно использовать квантор общности.
Синонимы