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