Отрицание

Определим унарную логическую операцию – отрицание. Для этой операции таблица истинности выглядит следующим образом:

Иллюстрацией отрицания в естественном языке служит частица "не", или слова "неверно, что".

Например: если мы хотим отрицать, что

точка М принадлежит прямой а (1)

мы скажем

точка М не принадлежит прямой а (2)

Если (1) – это высказывание , то (2) – .

Обратите внимание, что истинностные значения высказываний (1) и (2) находятся в определенной зависимости: если (1) – истинно, то (2) – ложно.

Если (1) – ложно, то (2) – истинно.

Например, покажем, что .

Это одно из свойств Булевой алгебры. Следует отметить, что отрицание составных формул не такая уж тривиальная операция. Чуть позднее мы проиллюстрируем это утверждение.