03-09-2023
Интуиционистское исчисление высказываний — формальная система, отражающие некоторые способы рассуждений, приемлемые с точки зрения интуиционизма. Предложена А. Гейтингом в 1930.
Основное отличие от привычного исчисления высказываний заключается в том, что отсутствует закон исключённого третьего.
(знак конъюнкции), (знак дизъюнкции), (знак импликации) и (знак отрицания).
Далее через , и обозначаются произвольные пропозициональные формулы.
Modus ponens: .
| Это заготовка статьи по логике. Вы можете помочь проекту, исправив и дополнив её. |
Интуиционистское исчисление высказываний.