Отрицание: различия между версиями
[непроверенная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Нет описания правки Метки: с мобильного устройства из мобильной версии |
BFD-69 (обсуждение | вклад) м отмена правки 107170074 участника 185.23.66.65 (обс.) Метка: отмена |
||
Строка 18:
'''Отрица́ние''' (''инве́рсия'', от {{lang-la|inversio}} — ''переворот'', ''логи́ческое «НЕ»'') в [[логика|логике]] — [[унарная операция]] над [[суждение|суждениями]], результатом которой является суждение (в известном смысле) «противоположное» исходному. Обозначается знаком '''¬''' перед или чертой <sup>'''—'''</sup> над суждением.
Как в [[Классическая логика|классической]], так и в [[интуиционистская логика|интуиционистской]] логике «двойное отрицание» <math> \neg \neg A</math> является следствием<!-- ну не скажешь же «свойством»? не поймут --> суждения <math>A</math>, то есть имеет место [[тавтология (логика)|тавтология]]:
<math> A \rightarrow \neg \neg A </math>.
|