Интуиционистское исчисление высказываний

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Интуициони́стское исчисле́ние выска́зываний, называемое иногда Интуициони́стской ло́гикой — формальная система, отражающая некоторые способы рассуждений, приемлемые с точки зрения интуиционизма. Предложена А. Гейтингом в 1930.

Основное отличие от привычного исчисления высказываний заключается в том, что отсутствует закон исключённого третьего.

Логические символы[править | править вики-текст]

(знак конъюнкции), (знак дизъюнкции), (знак импликации) и (знак отрицания).

Схемы аксиом[править | править вики-текст]

Далее через , и обозначаются произвольные пропозициональные формулы.

Правила вывода[править | править вики-текст]

Modus ponens: .


См. также[править | править вики-текст]