Метод семантических таблиц

Как и в логике высказываний, доказательство тождественной истинности формул может производиться с использованием семантических таблиц Бета. Семантические таблицы для логики предикатов содержат кроме элементарных семантических таблиц логики высказываний, элементарные семантические таблицы для формул с кванторами. В корень соответствующих таблиц помещается помеченная формула с квантором общности или существования. Ранее было определено, что логическое значение формулы, образованной с использованием квантора общности, определяется как минимум из логических значений формулы, находящейся в области действия квантора, при всевозможных подстановках термов из предметной области вместо всех вхождений переменной квантора.

Семантические таблицы для помеченных атомов означают, что при построении таблицы переменная x должна принимать все возможные значения, т.е. пробегать всю предметную область. Возможно, что таблица окажется бесконечной.

Построение замкнутых семантических таблиц для предложений логики предикатов аналогично построению семантических таблиц для формул логики высказываний с учетом особенностей элементарных таблиц для формул с кванторами.

Дата добавления: 2014-11-08; просмотров: 487; Нарушение авторских прав

Мы поможем в написании ваших работ!