Математическая энциклопедия - истинностная таблица
Связанные словари
Истинностная таблица
таблица, выражающая истинностное значение сложного высказывания через истинностные значения входящих в него простых высказываний. И. т. имеет вид (см. таблицу, Иозначает "истина", Л"ложь").
Здесь А 1, ...,А п пропозициональные переменные, ( А 1, ..., А n) - высказывательная форма, причем истинностное значение высказывания (А 1, ...,А п )определяется истинностными значениями высказываний А 1, ...,А п. Каждаястрока таблицы соответствует
одной из 2n возможных комбинаций истинностных значений пвысказываний. При этом Vi есть истинностное значение высказывания ( А 1, ..., А п), если высказывания А 1,. . ., А п имеют истинностные значения, указанные в i-й строке. С помощью И. т. в математич. логике определяются истинностные функции, соответствующие таким логич. связкам, как отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность. В классич. логике высказываний И. т. применяются для проверки общезначимости формул: формула общезначима тогда и только тогда, когда в последнем столбце таблицы все Vi суть И.
В. Е. Плиско.
Математическая энциклопедия. — М.: Советская энциклопедия
И. М. Виноградов
1977—1985
Вопрос-ответ:
Самые популярные термины
1 | 557 | |
2 | 483 | |
3 | 481 | |
4 | 472 | |
5 | 454 | |
6 | 440 | |
7 | 437 | |
8 | 433 | |
9 | 424 | |
10 | 423 | |
11 | 422 | |
12 | 413 | |
13 | 406 | |
14 | 375 | |
15 | 375 | |
16 | 372 | |
17 | 365 | |
18 | 364 | |
19 | 364 | |
20 | 362 |