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

• Добавление частицы «не». 2 Это самый простой и распространённый способ. 2 Например, вместо «Я люблю шоколад» говорят «Я не люблю шоколад». 2
• Использование оборота «неверно, что…». 2 Этот способ более формальный и подходит для более сложных высказываний. 2 Например, вместо «Все люди добрые» говорят «Неверно, что все люди добрые». 2
• Изменение слов, выражающих сравнение. 2 Если в высказывании есть слова «меньше», «больше», «равно», то для построения отрицания их нужно заменить на противоположные. 2 Например, вместо «Он меньше меня ростом» говорят «Он не меньше меня ростом, то есть больше или равен мне по росту». 2
• Применение законов де Моргана. 14 Согласно первому закону де Моргана, отрицанием конъюнкции двух высказываний А и В является дизъюнкция их отрицаний. 1 Согласно второму закону, отрицанием дизъюнкции двух высказываний А и В является конъюнкция их отрицаний. 1
• Замена импликации. 4 Если суждение содержит импликацию, то для построения отрицания нужно подобрать суждение, эквивалентное данному, которое при этом не содержало бы импликации. 4 Для этого импликацию заменяют на конъюнкцию или дизъюнкцию. 4