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