Квантор

Cлово «квантор» означает:

— указатель на объем субъекта простого суждения. В роли квантора могут быть слова: «все», «некоторые», «ни один» и т. п.

Источник: Философский словарь

Cлово «квантор» означает:

Квантор

Ква́нтор — общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание. Чаще всего упоминают:
В математической логике приписывание квантора к формуле называется «связыванием» или квантификацией.

Источник: Википедия

Новый словарь иностранных слов

( лат. quantum сколько) символ математической логики; логическая операция, дающая количественную характеристику области предметов, к которым относится выражение, получаемое в результате её применения.

Словарь иностранных выражений

Квантор

[символ математической логики; логическая операция, дающая количественную характеристику области предметов, к которым относится выражение, получаемое в результате ее применения.

Словарь русского языка Лопатина

Квантор

кв`антор, -а

Большая советская энциклопедия, БСЭ

Квантор

(от лат. quantum — сколько), логическая операция, дающая количественную характеристику области предметов, к которой относится выражение, получаемое в результате её применения. В обычном языке носителями таких характеристик служат слова типа 'все', 'каждый', 'некоторый', 'существует', 'имеется', 'любой', 'всякий', 'единственный', 'несколько', 'бесконечно много', 'конечное число', а также все количественные числительные. В формализованных языках , составной частью которых является исчисление предикатов , для выражения всех подобных характеристик оказывается достаточным К. двух видов: К. (все) общности (оборот 'для всех х ', обозначается через " x, ( " x), (x) ( A x), ) и К. существования ('для некоторых х ', обозначения: $ x, ( $ x), (Ех), С помощью К. можно записать четыре основных формы суждений традиционной логики: 'все А суть В ' записывается в виде " x [ A ( x )E E B ( x )], 'ни одно A не есть B ' — в виде " x [ A ( x )E B ( x )], 'некоторые А суть B ' — в виде $ x [ A ( x )& B ( x )], 'некоторые А не суть В ' — в виде $ x [ A ( x )& B ( x )] (здесь А ( х ) означает, что х обладает свойством A , E — знак импликации , — отрицания , & — конъюнкции ). Часть формулы, на которую распространяется действие каких-либо К., называется областью действия этого К. (её можно указать с помощью скобок). Вхождение какой-либо переменной в формулу непосредственно после знака К. или в область действия К., после которого стоит эта переменная, называется её связанным вхождением. Все остальные вхождения переменных называются свободными. Формула, содержащая свободные вхождения переменных, зависит от них (является их функцией ); связанные же вхождения переменных можно 'переименовывать'; например, записи $ x ( x 2 y ) и $ z ( z 2 y ) означают одно и то же, чего нельзя сказать о $ x ( x 2 y ) и $ x ( x 2 t ). Применение К. уменьшает число свободных переменных в логическом выражении и превращает (если К. не 'фиктивный', т. е. относится к переменной, действительно входящей в формулу) трёхместный предикат в двухместный, двухместный — в одноместный, одноместный — в высказывание. Употребление К. кодифицируется специальными 'постулатами квантификации' (присоединение которых к исчислению высказываний по существу и означает расширение его до исчисления предикатов), например, следующими 'постулатами Бернайса': аксиомами A ( t ) E $ xA ( x ) и " xA ( x ) E A ( t ) и правилами вывода 'если доказано С E А ( х ) E С , то можно считать доказанным и С E " хA ( х )' и 'если доказано А ( х )E С , то можно считать доказанным и $ хA ( x ) E C ' (здесь х не входит свободно в С ). К К. общности и существования сводятся и др. виды К., например вместо так называемого К. единственности $ ! x ('существует единственный х такой, что') можно писать 'обычные' К., заменяя $ ! xA ( x ) на $ xA ( x ) & " y " z [ A ( y )& A ( z ) E y z ]. Аналогично, К., 'ограниченный' каким-либо одноместным предикатом P ( x )( $ xP (x) , читается как 'существует x , удовлетворяющий свойству Р и такой, что', а " xp ( x ) — 'для всех х , удовлетворяющих свойству Р , верно, что'), легко выразить через К. общности и существования и операторы импликации и конъюнкции: $ xp (x) A ( x ) º $ x [ P ( x )& A ( x )] и " xp (x) A ( x ) º " x [ P ( x )E A ( x )].Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, с. 72-80, 130-138; Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960, с. 42-

48. Ю.А. Гастев.

Полный орфографический словарь русского языка

Квантор

квантор, -а

Викисловарь

Квантор

общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание