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