Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ МИНИМАЛЬНОЕ, логика минимальная— исчисление высказываний, отличающееся от интуиционистского (см. Интуиционизм) тем, что в нем отсутствует аксиома
Термин ввел в 30-х годах норв. математик И. Иогансон, он же привел и некоторые соображения, заставившие его исключить Лит.: Янков В. А. О расширении интуиционистского пропозиционального исчисления до классического и минимального — до интуиционистского. «Известия АН СССР. Серия математическая», 1968, т. 32, № 1; Johansson I. Der Minimalkalkfll, eln reduzierter intuitionistischer Formalismus. «Compo-sitio Mathematical 1936, v. 4, fasciculus 1. К. П. Вершинин.
|
 |
Оглавление
|
из числа аксиом. Мн-во теорем И. в. м. содержится в мн-ве теорем интуиционистского исчисления высказываний, но не совпадает с последним. Все связки И. в. м. независимы. Известны необходимые и достаточные условия того, чтобы присоединение некоторой ф-лы к аксиомам И. в. м. давало интуиционистское исчисление высказываний.