ИСТИННОСТНАЯ ТАБЛИЦА

- таблица, выражающая истинностное значение сложного высказывания через истинностные значения входящих в него простых высказываний. И. т. имеет вид (см. таблицу, Иозначает "истина", Л- "ложь").

Здесь А ₁, ...,А _п - пропозициональные переменные, ( А ₁, ..., А _n) - высказывательная форма, причем истинностное значение высказывания (А ₁, ...,А _п )определяется истинностными значениями высказываний А ₁, ...,А _п. Каждаястрока таблицы соответствует

одной из 2ⁿ возможных комбинаций истинностных значений пвысказываний. При этом V_i есть истинностное значение высказывания ( А ₁, ..., А _п), если высказывания А ₁,. . ., А _п имеют истинностные значения, указанные в i-й строке. С помощью И. т. в математич. логике определяются истинностные функции, соответствующие таким логич. связкам, как отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность. В классич. логике высказываний И. т. применяются для проверки общезначимости формул: формула общезначима тогда и только тогда, когда в последнем столбце таблицы все V_i суть И.

В. Е. Плиско.