|
"
0
C
F
G
H
K
L
N
P
S
T
W
Z
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Э
Ю
Я
ИНТУИЦИОНИСТСКОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙЗначение ИНТУИЦИОНИСТСКОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ в математической энциклопедии: - логическое исчисление, описывающее способы вывода высказываний, истинных с точки зрения интуиционизма. Общепринятая (к 1978) формулировка И. и. в. была предложена А. Рейтингом (A. Heyting) в 1930. Основное ее отличие от классич. исчисления высказываний состоит в замене исключенного третьего закона (или эквивалентного ему закона снятия двойного отрицания) более слабым принципом противоречия:
Один из распространенных вариантов И. и. в. формулируется следующим образом. Пусть А, В, С- произвольные формулы рассматриваемого логич. языка. Аксиомы исчисления суть формулы следующего вида:
Единственное правило вывода И. и. в.- правило modus ponens: если выведены формулы Аи Всякая выводимая формула этого исчисления приемлема с интуиционистской точки зрения; более сложен вопрос о полноте описанного исчисления. И. и. в. оказывается, напр., полным относительно алгебраич. семантик - моделей Крипке и моделей Бета, но неполным относительно естественной конструктивной семантики - рекурсивной реализуемости Клини; см. также Конструктивное исчисление высказываний. Лит. см. при ст. Интуиционизм. А. Г. Драгалин. |
|
|
|
то выводима и формула В.