- Интуиционистское исчисление высказываний
-
Интуиционистское исчисление высказываний — формальная система, отражающие некоторые способы рассуждений, приемлемые с точки зрения интуиционизма. Предложена А. Гейтингом в 1930.
Основное отличие от привычного исчисления высказываний заключается в том, что отсутствует закон исключённого третьего.
Логические символы
(знак конъюнкции), (знак дизъюнкции), (знак импликации) и (знак отрицания).
Схемы аксиом
Далее через , и обозначаются произвольные пропозициональные формулы.
Правила вывода
Modus ponens: .
Категория:- Математическая логика
Wikimedia Foundation. 2010.