Определение. Отрицание – унарная логическая операции(т.е.применимая к одному высказыванию). Отрицание соответствует конструкциям «Не …», «Неверно, что …».
Отрицание высказывания а обозначается 
и определяется следующей таблицей
Очевидно, имеет место свойство 
.
Это свойство называется законом двойного отрицания.
Перейдем далее к определению бинарных (т.е. применимых к паре высказываний) операций.
