Значение слова «отрицание» в Википедии
-
Отрица́ние (инве́рсия, от лат. inversio — переворот, логи́ческое «НЕ») в логике — унарная операция над суждениями, результатом которой является суждение (в известном смысле) «противоположное» исходному. Обозначается знаком ¬ перед или чертой — над суждением.
Как в классической, так и в интуиционистской логике «двойное отрицание»
¬
¬
A
является следствием суждения
A
, то есть имеет место тавтология:
A
→
¬
¬
A
.
Обратное утверждение
¬
¬
A
→
A
верно в классической логике (закон двойного отрицания), но не имеет места в интуиционистской. То есть, отрицание отрицания искомого утверждения не может служить интуиционистским доказательством, в отличие от классической логики. Это различие двух логических систем обычно полагается главным.
Источник: Википедия