Отрицание высказываний и высказывательных форм

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

Определение. Отрицанием высказывания А называется высказывание Ā, которое ложно, если высказывание А истинно, и истинно, если высказывание А - ложно. Таблица истинности отрицания имеет вид:

А Ā
и л
л и

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

Построим, например, отрицание ложного высказывания «число 28 делится на 9»:

а) Число 28 не делится на 9.

б) Неверно, что число 28 делится на 9. Высказывания, которое мы получили, истинные. Значит, отрицание данного предложения построено правильно.

Рассмотрим теперь правила построения отрицания конъюнкции и дизъюнкции высказываний. Если перед всем составным высказыванием поставим слова «неверно, что», то, безусловно, получим его отрицание. А как быть с частицей «не»? Можно ли ее поставить перед сказуемым составного предложения и получить его отрицание? Возьмем, например, высказывание «число 28 делится на 9 и на 4». Оно ложное, так как представляет собой конъюнкцию двух высказываний, одно из которых ложно. Поставив перед сказуемым этого высказывания частицу «не», получим конъюнкцию «число 28 не делится на 9 и на 4», в которой одно из предложений «число 28 не делится на 4» - ложное и, значит, ложно построенное с помощью частицы «не» предложение. Поэтому оно не является отрицанием высказывания «число 28 делится на 9 и на 4».

Можно доказать, что отрицанием конъюнкции двух высказываний А и В является дизъюнкция их отрицаний. Для этого надо убедиться в том, что значения истинности высказываний вида Отрицание высказываний и высказывательных форм - №1 - открытая онлайн библиотека и Отрицание высказываний и высказывательных форм - №2 - открытая онлайн библиотека Отрицание высказываний и высказывательных форм - №3 - открытая онлайн библиотека Отрицание высказываний и высказывательных форм - №4 - открытая онлайн библиотека совпадают при любых значениях истинности высказываний А и В. Сделать это можно при помощи таблицы истинности:

А В А Отрицание высказываний и высказывательных форм - №5 - открытая онлайн библиотека В Отрицание высказываний и высказывательных форм - №1 - открытая онлайн библиотека Ā Отрицание высказываний и высказывательных форм - №4 - открытая онлайн библиотека Отрицание высказываний и высказывательных форм - №2 - открытая онлайн библиотека Отрицание высказываний и высказывательных форм - №3 - открытая онлайн библиотека Отрицание высказываний и высказывательных форм - №4 - открытая онлайн библиотека
и и и л л л л
и л л и л и и
л и л и и л и
л л л и и и и

Про высказывания вида Отрицание высказываний и высказывательных форм - №1 - открытая онлайн библиотека и_ Отрицание высказываний и высказывательных форм - №2 - открытая онлайн библиотека Отрицание высказываний и высказывательных форм - №3 - открытая онлайн библиотека Отрицание высказываний и высказывательных форм - №4 - открытая онлайн библиотека говорят, что они равносильны, и пишут Отрицание высказываний и высказывательных форм - №1 - открытая онлайн библиотека <=> Отрицание высказываний и высказывательных форм - №2 - открытая онлайн библиотека Отрицание высказываний и высказывательных форм - №3 - открытая онлайн библиотека Отрицание высказываний и высказывательных форм - №4 - открытая онлайн библиотека .

Аналогично можно доказать, что имеет место равносильность Отрицание высказываний и высказывательных форм - №19 - открытая онлайн библиотека <=> Отрицание высказываний и высказывательных форм - №2 - открытая онлайн библиотека Отрицание высказываний и высказывательных форм - №3 - открытая онлайн библиотека Отрицание высказываний и высказывательных форм - №4 - открытая онлайн библиотека .

Эти равносильности носят название законов де Моргана.

Из них вытекает следующее правило построения отрицания конъюнкции и дизъюнкции: чтобы построить отрицание конъюнкции (дизъюнкции), достаточно заменить отрицаниями составляющие ее высказывания, а союз «и» («или») заменить союзом «или» («и»).

Задача 1. Построить отрицание высказывания «число 28 делится на 9 или на 6».

Решение (два способа).

1) Поставим перед данным высказыванием слова «неверно, что». Получим высказывание «неверно, что число 28 делится на 9 или на 6», которое является отрицанием исходного.

2) Воспользуемся законом де Моргана: заменим высказывания «число 28 делится на 9» и «число 28 делится на 6» их отрицаниями, а союз «или» поменяем на союз «и». Получим высказывание «число 28 не делится на 9 и не делится на 6», которое также является отрицанием исходного.

Итак, мы выяснили, как строить отрицание конъюнкции и дизъюнкции высказываний. А как быть с высказываниями, которые содержат кванторы? Достаточно ли для отрицания таких предложений поставить перед сказуемым частицу «не»? Например, будет ли отрицанием высказывания «всякий прямоугольный треугольник является равнобедренным» предложение «всякий прямоугольный треугольник не является равнобедренным»? Видим, что не будет, так как оба высказывания ложны. Таким образом, строить отрицания высказываний с кванторами при помощи частицы «не» перед сказуемым нельзя.

Остается другой путь - перед всем предложением ставим слова «неверно, что». Тогда отрицанием высказывания «всякий прямоугольный треугольник является равнобедренным» будет предложение «неверно, что всякий прямоугольный треугольник является равнобедренным», но это предложение имеет тот же смысл, что и предложение «некоторые прямоугольные треугольники не являются равнобедренными».

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

Вообще если дано предложение ( Отрицание высказываний и высказывательных форм - №23 - открытая онлайн библиотека x) A(x), то его отрицанием будут предложения Отрицание высказываний и высказывательных форм - №24 - открытая онлайн библиотека и ( Отрицание высказываний и высказывательных форм - №25 - открытая онлайн библиотека х) Отрицание высказываний и высказывательных форм - №26 - открытая онлайн библиотека , имеющие один и тот же смысл (и одно и то же значение истинности).

Если дано предложение ( Отрицание высказываний и высказывательных форм - №25 - открытая онлайн библиотека х) А(х), то его отрицанием будут предложения Отрицание высказываний и высказывательных форм - №28 - открытая онлайн библиотека и ( Отрицание высказываний и высказывательных форм - №25 - открытая онлайн библиотека х) Отрицание высказываний и высказывательных форм - №26 - открытая онлайн библиотека , также имеющие один и тот же смысл (и одно и то же значение истинности). Получаем две равносильности:

Отрицание высказываний и высказывательных форм - №24 - открытая онлайн библиотека Отрицание высказываний и высказывательных форм - №32 - открытая онлайн библиотека ( Отрицание высказываний и высказывательных форм - №25 - открытая онлайн библиотека х) Отрицание высказываний и высказывательных форм - №26 - открытая онлайн библиотека

Отрицание высказываний и высказывательных форм - №28 - открытая онлайн библиотека Отрицание высказываний и высказывательных форм - №32 - открытая онлайн библиотека ( Отрицание высказываний и высказывательных форм - №23 - открытая онлайн библиотека х) Отрицание высказываний и высказывательных форм - №26 - открытая онлайн библиотека

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

Задача 2. Построить отрицание высказывания «некоторые однозначные числа делятся на 10».

Решение. Сделать это можно двумя способами.

1) Поставим перед высказыванием слова «неверно, что». Получим высказывание «неверно, что некоторые однозначные числа делятся на 10», которое является отрицанием данного

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

Последнее, о чем пойдет речь, - это отрицание высказывательных форм

Пусть на множестве X задана высказывательная форма А(х). Ее отрицание обозначим Отрицание высказываний и высказывательных форм - №26 - открытая онлайн библиотека (читают: «не А(х)» или «неверно, что А(х)»). Предложение Отрицание высказываний и высказывательных форм - №26 - открытая онлайн библиотека будет обращаться в истинное высказывание лишь при тех значениях х из множества X, при которых А(х) - ложно. Таким образом, ТĀ = Т/А ,

где ТĀ - множество истинности предложения Отрицание высказываний и высказывательных форм - №26 - открытая онлайн библиотека , а Т/А - дополнение множества ТА до множества X.

Доказательство этого равенства мы опускаем.

Пусть, например, на множестве натуральных чисел задана высказывательная форма А(х) - «число х кратно 5». Тогда ее отрицанием будет предложение «число х не кратно 5» (или «неверно, что число х кратно 5»), истинное при всех значениях х, которые не кратны 5.