Кванторы. Квантор общности
Понятие квантора Квантор - (от лат. quantum - сколько), логическая операция, дающая количественную характеристику области предметов, к которой относится выражение, получаемое в результате её применения. В обычном языке носителями таких характеристик служат слова типа "все", "каждый", "некоторый", "существует", "имеется", "любой", "всякий", "единственный", "несколько", "бесконечно много", "конечное число", а также все количественные числительные. Операции для предиката Для предикатов вводятся две новые по сравнению с логикой высказываний операции: квантор общности квантор существования