Кванторы
В математике большую роль играют утверждения о всеобщности данного свойства и о существовании хотя бы одного объекта, обладающего данным свойством. Для записи этих утверждений вводятся так называемые кванторы: квантор всеобщности ? и квантор существования ?. Допустим, что некоторое высказывание S содержит переменную (неопределенный объект) х, поэтому будем записывать его в виде S(x). Тогда высказывание
(?x)S(x)
означает, что для всех х имеет место S(x), а высказывание
(?x)S(x)
состоит в утверждении, что существует хотя бы один объект х такой, что для него верно высказывание S(x).
Переменная, входящая в высказывание под знаком квантора, называется связанной переменной, ибо высказывание от этой переменной не зависит, подобно тому как сумма
i=n? mSi
не зависит от индекса i. Связанную переменную можно заменить любой другой буквой, не совпадаюшей с остальными переменными, и от этого смысл высказывания не изменится. Переменная, которая не является связанной, называется свободной. Высказывание зависит только от свободных переменных, которые оно содержит.
Примеры высказываний с кванторами:
- (?х)(?у)(«брат»(х, у) ? «мужчина»(у)) ? «брат»(у, x).
Для всякого х и всякого у, если х — брат у и у — мужчина, то у — брат x. - Если через D(x, y) обозначить высказывание «x является делителем у», то одно из соотношений, приведенных выше в качестве примера высказываний, изобразится в виде
(?n)(>(n, «1») ? (?p)D(p, n)). - (?x)W(x) ? ¬(?x) ¬W(x).
Это соотношение верно для любого высказывания W(x) и показывает, что имеет место связь между кванторами существования и всеобщности. Из существования объекта х, для которого верно W(x), следует, что неверно утверждение, будто для всех х W(x) неверно.
Квантор — это тоже в сущности логическая связка. Приписывание квантора превращает высказывание в новое высказывание, которое содержит на одну свободную переменную меньше. Отличие от связок, которое мы рассматривали выше, состоит в том, что, кроме высказывания, надо указать еще свободную переменную, которую надо связать. Связывание переменной подразумевает подстановку вместо нее конкретных объектов. Если число объектов, которые могут быть подставлены вместо переменной, конечно, то кванторы можно рассматривать просто как удобные сокращения, ибо они могут быть выражены через логические связки — конъюнкцию и дизъюнкцию. Пусть переменная х может принимать n значений, которые мы обозначим буквами х1, х2,..., xn. Тогда имеют место следующие эквивалентности:
(?x)W(x) ? W(x1) ? W(x2) ? ... ? W(xn),
(?x)W(x) ? W(x1) ? W(x2) ? ... ? W(xn).
