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

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

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