На главную



Математическая энциклопедия
" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я
МИНИМАЛЬНОЕ ПРОПОЗИЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ,

минимальное исчисление высказываний,- логическое исчисление, получающееся из позитивного пропозиционального исчисления П добавлением новой связки (отрицание) и схемы аксиом

к-рая наз. законом приведения к абсурду.

М. п. и. отличается тем, что в нем не всякая формула выводима из "лжи", т. е. формулы вида . М. п. и. можно получить из исчисления П и другим способом: добавлением к языку вместо связки новой пропозициональной константы (ложь) без добавления новых схем аксиом. Отрицанием формулы Аздесь служит формула

Лит.:[1] Чёрч А., Введение в математическую логику, лер. с англ., М., 1960.

С. К. Соболев.



Оригинал статьи 'МИНИМАЛЬНОЕ ПРОПОЗИЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ,' на сайте Словари и Энциклопедии на Академике