Кванторы

Введем специальные обозначения. Пусть M - множество, Р(х) - определенный

на M одноместный предикат. Тогда выражение

хР(х) читается: " для всех х Р(х)" или " для всех х выполняется ∀ Р(х)", или " для

любого х Р(х)", или " для каждого х Р(х)". Под выражением " ∀ хР(х)" будем

подразумевать высказывание истинное, когда Р(х) истинно для каждого х из

M и ложное - в противном случае. Символ ∀ х называется квантором

всеобщности. Выражение

∃ хР(х) читается " существует х такое, что Р(х)" или " хотя бы для одного х Р(х)",

или " для некоторого (некоторых) х Р(х)". Под выражением " ∃ хР(х)" будем

подразумевать высказывание, которое истинно, если Р(х) принимает

значение И хотя бы для одного значения переменной х∈ M, и ложно, если

Р(х) для всех значений переменной х принимает значение Л. Символ ∃ х

называется квантором существования. Квантор ∃ х будем называть

двойственным к квантору ∀ х, и наоборот.

В литературе применяются и другие обозначения. Так, вместо ∀ хР(х) пишут

Λ хР(х) или Λ хР(х), а вместо ∃ хР(х) пишут VхР(х) или VхР(х), или ЕхР(х)

Введенные обозначения позволяют записывать предложения в

символической форме, которая оказывается более удобной для анализа и

логических действий над этими предложениями. При символизации языка

требуется определенная аккуратность и правильное понимание контекста. В

естественном языке часто слово " все" опускается. Так, например,

предложение " рыбы дышат жабрами" означает, что все рыбы дышат жабрами

или что каждая рыба дышит жабрами. Поэтому при символизации

необходимо ввести квантор общности. Таким образом, если положить для

множества живых существ, что R(х) означает " х - рыба", а G(х) - " х дышит

жабрами", то имеем

∀ х(R(х)⇒ G(х)). Но в то же время не в каждом случае встречающиеся в

предложениях слова " все" понимаются как " каждый". Например, предложение

" все песчинки образуют кучи пуска" не означает, что каждая песчинка

образует кучи песка, следовательно, при символизации нельзя употреблять

квантор ∀ х, как это сделано в предыдущем примере.В языке слово " все"

имеет два значения: " любой, каждый" и " все вместе". Квантор ∀ х применяется

для первого значения.

Из изложенного следует, что " ∀ хР(х)" служит обозначением для следующих

высказываний:

для всех х выполняется (имеет место) Р(х);

для каждого х выполняется (имеет место) Р(х);

для любого х выполняется (имеет место) Р(х);

для произвольного х выполняется (имеет место) Р(х);

каково бы ни было х выполняется (имеет место) Р(х).

В языке слово " некоторый", так же как и " все", часто опускается. Например,

предложение " люди побывали на Луне" означает, что некоторые люди

побывали на Луне.

Символическая запись хР(х), как мы знаем, означает, ∃ что для некоторых х

имеет место Р(х), но не исключено, что и для всех х имеет место Р(х). В

естественном же языке слово " некоторый" иногда употребляют в смысле " не

все". Когда говорят " некоторые студенты отличники", подразумевают, что

некоторые, но не все студенты отличники. Следовательно, имеется в виду:

" неверно, что все студенты отличники, но некоторые - отличники". Тогда, если

С(х) означает " х - студент", О(х) означает " х - отличник", то получим:

(∀ х(С(х) ⇒ О(х))) & ∃ х(С(х)& О(х)).

Итак, слово " некоторый" имеет два значения: первое - " некоторый, но может

быть и все", второе - " некоторый, но не все". Символ ∃ х обозначает первое.

Следовательно, запись ∃ хР(х) служит обозначением для следующих

высказываний:

для некоторых х (имеет место) Р(х);

существует х, для которого Р(х);

найдется х, для которого Р(х);

хотя бы для одного х (верно) Р(х);

имеется х, для которого Р(х).

Рассмотрим следующие часто встречающиеся предложения и справа от них

приведем их символическую запись:

(А) все S суть Р - ∀ х(S(х) ⇒ Р(х));

(Е) ни одно S не есть Р - ∀ х(S(х) ⇒  Р(х));

(I) некоторые S суть Р - ∃ х(S(х)& Р(х));

(О) некоторые S не есть Р - ∃ х(S(х)&  Р(х)).

Символизация приведенных предложений позволяет записывать в

символическом виде довольно сложные выводы, использующие

всевозможные комбинации предложений (А)-(О).

До сих пор мы рассматривали приписывание кванторов к одноместным

предикатам.

Далее рассмотрим приписывание кванторов к многоместным предикатам.

Пусть P(х1, х2,..., хn) -n-местный (n≥ 2) предикат, заданный на множестве M.

Выражение

∀ хiР(х1, х2,..., хn), 1 ≤ i ≤ n, (2.1)