Словарь по логике

 

Отрицание
1. Одноместная логическая операция. Классическое отрицание задается таблицей:
0 | 1
1 | 0

Неклассические отрицания (в многозначных логиках) обычно задаются так, чтобы на множестве классических значений они совпадали с классическим отрицанием.


2. Знак операции "отрицание" .

© Автор статьи.