Определение. Отрицание – унарная логическая операции (т.е.применимая к одному высказыванию). Отрицание соответствует конструкциям «Не …», «Неверно, что …».
Отрицание высказывания а обозначается 
и определяется следующей таблицей
| 
|
Очевидно, имеет место свойство 
.
Это свойство называется законом двойного отрицания.
Перейдем далее к определению бинарных (т.е. применимых к паре высказываний) операций.
Дата добавления: 2015-07-20; просмотров: 53 | Нарушение авторских прав
| <== предыдущая страница | | | следующая страница ==> |
| Алгебра высказываний. | | | Конъюнкция. |