Отрицание (логика)
Материал из Википедии — свободной энциклопедии
-
У этого термина существуют и другие значения, см. Отрицание.
Отрица́ние в логике — унарная операция над суждениями, результатом которой является суждение (в известном смысле) «противоположное» исходному. Обозначается знаком ¬
Как в классической, так и в интуиционистской логике «двойное отрицание» ¬¬A является следствием суждения A, то есть имеет место тавтология: 
.
Обратное утверждение 
верно в классической логике (закон двойного отрицания), но не имеет места в интуиционистской. То есть, отрицание отрицания искомого утверждения не может служить интуиционистским доказательством, в отличие от классической логики. Это различие двух логических систем обычно полагается главным.
[править] См. также
 |
Это незавершённая статья по логике. Вы можете помочь проекту, исправив и дополнив её. |
 |
В этой статье или секции нет ссылок на источники информации. Вы можете помочь проекту, добавив список литературы или внешние ссылки. |
