Минимальное пропозициональное исчисление

, " минимальное исчисление высказываний,- логическое исчисление, получающееся из позитивного пропозиционального исчисления П добавлением новой связки [img: http://localhost:8080/file/031412-19.jpg] (отрицание) и схемы аксиом [img: http://localhost:8080/file/031412-20.jpg] к-рая наз. законом приведения к абсурду. М. п. и. отличается тем, что в нем не всякая формула выводима из "лжи", т. е. формулы вида [img: http://localhost:8080/file/031412-21.jpg]. М. п. и. можно получить из исчисления П и другим способом: добавлением к языку вместо связки [img: http://localhost:8080/file/031412-22.jpg] новой пропозициональной константы [img: http://localhost:8080/file/031412-23.jpg] (ложь) без добавления новых схем аксиом. Отрицанием [img: http://localhost:8080/file/031412-24.jpg] формулы Аздесь служит формула [img: http://localhost:8080/file/031412-25.jpg]