Квантор - значение слова

Квантор (от лат. quantum ≈ сколько), логическая операция, дающая количественную характеристику области предметов, к которой относится выражение, получаемое в результате её применения. В обычном языке носителями таких характеристик служат слова типа «все», «каждый», «некоторый», «существует», «имеется», «любой», «всякий», «единственный», «несколько», «бесконечно много», «конечное число», а также все количественные числительные. В формализованных языках, составной частью которых является исчисление предикатов, для выражения всех подобных характеристик оказывается достаточным К. двух видов: К. (все) общности (оборот «для всех х», обозначается через "x, ("x), (x) (Ax), ) и К. существования («для некоторых х», обозначения: $x, ($x), (Ех), С помощью К. можно записать четыре основных формы суждений традиционной логики: «все А суть В» записывается в виде "x [A (x)É ÉB (x)], «ни одно A не есть B» ≈ в виде "x [A (x)ÉB (x)], «некоторые А суть B» ≈ в виде $x [A (x)&B (x)]...