Импликативное Пропозициональное Исчисление
- пропозициональное исчисление, использующее единственную исходную связку (импликацию). Примерами И. П. И. Являются полное (или классическое) И. П. И., задаваемое аксиомами и правилами вывода. Модус поненс и подстановка, а также позитивное И. П. И., задаваемое аксиомами и теми же правилами вывода. Всякая импликативная формула, т. Е. Формула, содержащая только связку выводима в полном (или позитивном) И. П. И. Тогда и только тогда, когда она выводима в классическом (соответственно интуиционистском) пропозициональном исчислении. Для любого конечного множества Vпеременных среди имплпкатпвных формул с переменными из Vсуществует лишь конечное число попарно не эквивалентных в позитивном И. П. И. (см. [3]). Существуют конечно аксиоматизируемые И.
П. И. С неразрешимой проблемой выводимости (см. [4]). Лит.:[1] Чёрч А., Введение в математическую логику, пер. С англ., т. 1, М., 1960. [2] Lukasiewicz J., Tarski А., "С. R. Sec. Sci. Lettres Varsovie, Cl. III", 1930, v. 23, p , 30-50. [3] Diegо A., Sur les algebres de Hilbert, P., 1966. 14] Gladstone M. D., "Trans. Amer. Math. Soc", 1965, V. 118, p. 192-210. С. К. Соболев..
Дополнительный поиск Импликативное Пропозициональное Исчисление
На нашем сайте Вы найдете значение "Импликативное Пропозициональное Исчисление" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Импликативное Пропозициональное Исчисление, различные варианты толкований, скрытый смысл.
Первая буква "И". Общая длина 42 символа