Контрольные вопросы

1. Что называется высказывательной формой или предикатом?

2. Какие различают предикаты по числу входящих в них переменных? Приведите примеры.

3. Какое множество называют областью определения предиката?

4. Какое множество называют множеством истинности предиката?

5. Что называют конъюнкцией предикатов? Докажите равенство, связывающее область истинности конъюнкции предикатов с областями истинности этих предикатов.

6. Дайте определения дизъюнкции, отрицания, импликации предикатов. Запишите равенства, связывающие области истинности конъюнкции предикатов с областями истинности этих предикатов.

§ 4. Высказывания с кванторами и их отрицания

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

Например, если на множестве натуральных чисел задан предикат А(х): «х– четное число», то подставив вместо переменной число 4, получим истинное высказывание «4 – четное число», а, подставив вместо переменной число 5, получим ложное высказывание «5 – четное число».

Существуют и другие способы получения высказывания из предиката. Подставим перед этим предикатом слово «всякое», получим ложное предложение «Всякое натуральное число – четное». Если же перед предикатом подставим слово «некоторые», то получим истинное высказывание «Некоторые натуральные числа – четные».

Выражение «для всякого х» в логике называютквантором общности, обозначаютх. В математике наряду со словом «всякий» употребляют слова «все», «каждый», «любой».

Высказывание (хХ)А (х) выражает свойствавсехобъектов множестваХ.

Выражение «для некоторых х» ( «существуетх, такое, что …», «хотя бы один», «найдется») называютквантором существованияи обозначаютх.

Высказывание (хХ)А (х) выражает существование объектов из данного множества, обладающих определенными свойствами или находящимися в определенном отношении с другими объектами.

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

Выясним, как установить значение истинности высказываний, содержащих кванторы.

Истинность высказываний с квантором общности устанавливается путем доказательства. Нужно убедиться в том, что при подстановке каждого из значений хв предикат последний обращается в истинное высказывание. Если множествоХ конечно, то это можно сделать путем перебора всех случаев; если жеХбесконечно, то необходимо провести рассуждение в общем виде. Чтобы убедиться в ложности таких высказываний (опровергнуть их), достаточно привести контрпример.

Истинность высказывания с квантором существования устанавливается при помощи конкретного примера. Чтобы убедиться в ложности такого высказывания, необходимо провести доказательство.

Выясним, как построить отрицание высказываний, содержащих кванторы. Рассмотрим высказывание: «все натуральные числа – четные». Оно ложно. В этом легко убедиться, приведя контрпример: 5 не является четным числом. Можно перед данным предложением поставить слова «неверно, что». Тогда отрицанием высказывания: «все натуральные числа – четные» будет высказывание «неверно, что все натуральные числа – четные». Оно имеет тот же смысл, что и предложение «некоторые натуральные числа четными не являются».

Вообще если дано предложение (х)А (х), то его отрицанием будут предложенияи (х), имеющие один и тот же смысл.

Рассмотрим высказывание «некоторые однозначные числа делятся на 10». Оно ложно. Отрицанием данного высказывания будет высказывание «неверно, что некоторые однозначные числа делятся на 10», которое имеет тот же смысл, что и высказывание «все однозначные числа делятся на 10».

Вообще если дано предложение (х)А (х), то его отрицанием будут предложенияи (х), также имеющие один и тот же смысл.

Правило: для того чтобы построить отрицание высказывания с квантором общности (существования), достаточно заменить его квантором существования (общности) и построить отрицание предложения, стоящего после квантора.