Отрицание

Отрицанием высказывания X называется новое высказывание, которое является истинным, если высказывание X ложно, и ложным, если высказывание X истинно.

Отрицание высказывание X обозначается X с чертой, читается «не X» или «неверно, что X». Логические значения высказывания можно описать с помощью таблицы

Таблицы такого вида принято называть таблицами истинности.

Пусть X высказывание. Так как не X также является высказыванием, то можно образовать отрицание высказывания не X , то есть высказывание не не X , которое называется двойным отрицанием высказывания X. Ясно что логическое значения высказывания не не X и X совпадают.