 |
 |
 |
 |
|
 |
 |
61
выписать список четырех (2²) распределений значений истины семантической функции одной
переменной для универсума |1, 2| (табл.12).
Основываясь на этом распределении, можно вычислить таблицу истинности для рассматриваемой
функции (табл.13).
Таблица 13
Этот пример показывает, что построение таблицы истинности для исчисления предикатов
составляет несравненно более трудную задачу, чем построение таблицы для исчисления высказываний.
В самом деле, если универсум рассуждения будет состоять из 10 элементов, то для этого придется
построить 2
10
= 1024 семантические функции только для одной независимой переменной, а число строк
в таблице в огромной степени возрастает по мере усложнения формул. В нашем примере речь шла
только о двух объектах универсума рассуждений, а формула была крайне проста. Поэтому к таблицам