Отрицание: различия между версиями

[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
Нет описания правки
Нет описания правки
Строка 1:
{{другие значения}}
'''Отрица́ние''' в [[логика|логике]] — [[унарная операция]] над [[суждение|суждениями]], результатом которой является суждение (в известном смысле) «противоположное» исходному. Обозначается знаком '''¬''' перед или чертой '''-''' над суждением. Синоним: '''логическое "НЕ"'''.
 
Как в [[Классическая логика|классической]], так и в [[интуиционизм|интуиционистской]] логике «двойное отрицание» ¬¬A является следствием<!-- ну не скажешь же «свойством»? не поймут --> суждения A, то есть имеет место [[тавтология (логика)|тавтология]]: