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

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

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

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

А

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

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

2Конъюнкция (логическое умножение) – от латинского conjunctio – соединение.