В чем разница между классической и интуиционистской дизъюнкцией?

Разница между классической и интуиционистской дизъюнкцией заключается в подходе к доказательству утверждений. dic.academic.ru

В классической логике утверждение дизъюнкции (например, A/B) считается доказанным, когда опровергнуто утверждение об одновременной ложности обоих суждений A и B. dic.academic.ru Классическая логика основывается на законе исключённого третьего: любое корректно сформулированное утверждение является либо истинным, либо ложным. old.mccme.ru

В интуиционистской логике утверждение дизъюнкции может считаться доказанным лишь тогда, когда указан метод, позволяющий выяснить, какое из двух суждений A и B истинно. dic.academic.ru Интуиционистская логика не признаёт рассуждения, основанные на законах, которые используются в классической логике, в том числе на законе исключённого третьего. old.mccme.ru

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