Негацией высказывания называется новое высказывание, которое истинно тогда и только тогда, когда само высказывание ложно и ложно, когда само высказывание истинно

Процесс получения составных высказываний с помощью логических связок называется логической операцией.

По числу логических связок выделяют пять логических операций.

1 Негация (отрицание) – единственная операция, которая может применяться к одному высказыванию.

Негация обозначается , или ¬ b, читается: «не А» или «неверно, что А».

Например, высказывание А = «Луна – спутник Марса» – ложное, а высказывание = «Неверно, что Луна – спутник Марса» – истинное.

Для произвольного высказывания А определение удобно записывать с помощью так называемой таблицы истинности:

А

Пример 3. Сформулировать отрицание высказываний: А = «Курган – большой город»; В = «Сыр делают из молока»; С = «32 не делится на 4»; D = «Все дети любят манную кашу».

Решение. = «Неверно, что Курган – большой город»; = «Сыр делают не из молока»; = «32 делится на 4».