Квантор
(от лат. Quantum — сколько) логическая операция, дающая количественную характеристику области предметов, к которой относится выражение, получаемое в результате её применения. В обычном языке носителями таких характеристик служат слова типа «все», «каждый», «некоторый», «существует», «имеется», «любой», «всякий», «единственный», «несколько», «бесконечно много», «конечное число», а также все количественные числительные. В формализованных языках (См. Формализованный язык), составной частью которых является Исчисление предикатов, для выражения всех подобных характеристик оказывается достаточным К. Двух видов. К. (все) общности (оборот «для всех х», обозначается через ∀x, (∀x), (x) (Ax), .
Дополнительный поиск Квантор
На нашем сайте Вы найдете значение "Квантор" в словаре Большая Советская энциклопедия, подробное описание, примеры использования, словосочетания с выражением Квантор, различные варианты толкований, скрытый смысл.
Первая буква "К". Общая длина 7 символа