Истинностная таблица

- таблица, выражающая истинностное значение сложного высказывания через истинностные значения входящих в него простых высказываний. И. т. имеет вид (см. таблицу, Иозначает "истина", Л- "ложь"). Здесь А 1,...,А п - пропозициональные переменные, [img: http://localhost:8080/file/021022-2.jpg] (А 1,..., А n) - высказывательная форма, причем истинностное значение высказывания [img: http://localhost:8080/file/021022-3.jpg] (А 1,...,А п)определяется истинностными значениями высказываний А 1,...,А п. Каждаястрока таблицы соответствует [img: http://localhost:8080/file/021022-4.jpg] одной из 2n возможных комбинаций истинностных значений пвысказываний. При этом Vi есть истинностное значение высказывания [img: http://localhost:8080/file/021022-5.jpg] (А 1,..., А п), если высказывания А 1,..., А п имеют истинностные значения, указанные в i-й строке. С помощью И. т. в математич. логике определяются истинностные функции, соответствующие таким логич. связкам, как отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность. В классич. логике высказываний И. т. применяются для проверки общезначимости формул: формула общезначима тогда и только тогда, когда в последнем столбце таблицы все Vi суть И. В. Е. Плиско.