Отрицание: различия между версиями
[непроверенная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Запятая не ставится после союза «то есть». |
Mylique (обсуждение | вклад) Нет описания правки |
||
Строка 16:
| Самодвойственна = Да
}}
'''Отрица́ние''' ('''инве́рсия''', от {{lang-la|inversio}} — ''переворот'', '''логи́ческое «НЕ»''') в [[логика|логике]] — [[унарная операция]] над [[суждение|суждениями]], результатом которой является суждение
Как в [[Классическая логика|классической]], так и в [[интуиционистская логика|интуиционистской]] логике «двойное отрицание» <math> \neg \neg A</math> является следствием<!-- ну не скажешь же «свойством»? не поймут --> суждения <math>A</math>, то есть имеет место [[тавтология (логика)|тавтология]]:
|