Инверсия (отрицание)

Простейшей логической операцией является инверсия. Операция инверсии соответствует частице "не", обозначается символами "¯" или "". Отрицанием истинного высказывания является ложное высказывание, а отрицанием ложного – истинное.

Отрицание определяется таблицей соответствия (табл.3.1).

Таблица 3.1
х

Пример

Высказывание х: "Все насекомые имеют крылья". Инверсией высказывания х является следующее высказывание : "Некоторые насекомые не имеют крыльев". Если высказывание х истинно, то высказывание ложно. Если х ложно, то истинно.

Очевидное свойство отрицания:

Вопросы и задания

3.1. Какое из следующих высказываний является отрицанием для высказывания "Некоторые люди были в космосе":

а) "Некоторые люди не были в космосе";

б) "Все люди были в космосе";

в) "Ни один человек не был в космосе".

Проверьте правильность ответа по таблице соответствия, принимая исходное высказывание:

1) за истинное

2) за ложное.

3.2. Сформулируйте отрицание для высказывания "Квадрат гипотенузы равен сумме квадратов катетов".

3.3. Сформулируйте отрицание для высказывания "Вратарь отбивает один из трех одиннадцатиметровых штрафных ударов".