Интуиционистская логика: различия между версиями
[непроверенная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Amk1925 (обсуждение | вклад) Исправление ошибки приравнивания Интуиционистского исчисления высказываний и Интуиционистской логики. Метки: отменено с мобильного устройства из мобильной версии через расширенный мобильный режим |
Brattarb (обсуждение | вклад) противоречит источникам Метка: отмена |
||
Строка 1:
'''Интуициони́стское исчисле́ние выска́зываний''', называемое иногда '''Интуициони́стской ло́гикой''' — формальная система, отражающая некоторые способы рассуждений, приемлемые с точки зрения [[интуиционизм]]а. Предложена [[Гейтинг, Аренд|А. Гейтингом]] в [[1930]].
Основное отличие от привычного исчисления высказываний заключается в том, что отсутствует [[закон исключённого третьего]].
|