В чем отличие отрицания в классической и интуиционистской логике?

Отличие отрицания в классической и интуиционистской логике заключается в следующем:

• В классической логике отрицание рассматривается как простое изменение истинностного значения высказывания. spravochnick.ru Например, в ней верен закон двойного отрицания: отрицание отрицания искомого утверждения может служить доказательством. ru.wikipedia.org
• В интуиционистской логике отрицание — это более сложная операция, которая включает в себя построение доказательства противоположного утверждения. spravochnick.ru Например, отрицание отрицания искомого утверждения не может служить интуиционистским доказательством. ru.wikipedia.org

Также в интуиционистской логике правило снятия двойного отрицания ослабляется до правила «Из лжи следует всё, что угодно». iphlib.ru В результате ослабляются возможности косвенного вывода: косвенно можно опровергать, но, вообще говоря, нельзя доказывать положительные суждения от противного. iphlib.ru