Математическая энциклопедия
минимальное исчисление высказываний,- логическое исчисление, получающееся из позитивного пропозиционального исчисления П добавлением новой связки 
(отрицание) и схемы аксиом
к-рая наз. законом приведения к абсурду.
М. п. и. отличается тем, что в нем не всякая формула выводима из "лжи", т. е. формулы вида 
. М. п. и. можно получить из исчисления П и другим способом: добавлением к языку вместо связки 
новой пропозициональной константы 
(ложь) без добавления новых схем аксиом. Отрицанием 
формулы Аздесь служит формула 
Лит.:[1] Чёрч А., Введение в математическую логику, лер. с англ., М., 1960.
С. К. Соболев.