Логика предикатов

| Категория реферата: Рефераты по философии
| Теги реферата: bestreferat ru, роботы реферат
| Добавил(а) на сайт: Пондяков.

Предыдущая страница реферата | 1 2 3 4 5 6 7 8 9 10 | Следующая страница реферата

B(, ..., , x1, ..., xp) ~ B(, ..., ,(x1), ..., (xp)).

Отсюда следует, что

(s xp) B(, ..., , x1, ..., xp) ~ (s xp) B(, ..., , (x1), ..., (xp)).

Далее можно заключить, что

(s xp) B(, ..., , (x1), ..., (xp)) ~

~ B(, ..., , (x1), ..., (xp-1), xp).

Рассуждая аналогичным образом, мы получим

(s xp-1) (s xp) B(, ..., , x1, ..., xp-1 , xp) ~

~ B(, ..., , (x1), ..., (xp-2), xp-1, xp)

и, наконец, придём к следующему:

(s x1)(s x2)...(s xp) B(, ..., , x1, ..., xp) ~

~ B(, ..., , x1, ..., xp).

Правая часть последней равносильности, согласно смыслу символа , представляет не что иное, как формулу

(s x1)...(s xp) B(, ..., , x1, ..., xp),

отнесённую к полю .

Таким образом, мы доказали, что формула U(, ..., ) сохраняет своё значение, если её отнести к полю , и теорема, таким образом, доказана.

С л е д с т в и е. Если формула U, содержащая только предикаты, зависящие от одного переменного, является тождественно истинной для всякого поля, не превышающего элементов, где n – число предикатов в U, то формула U тождественно истинна (т. е. истинна для любого поля). В самом деле допустим, что U не является тождественно истинной формулой. В таком случае её отрицание выполнимо на некотором поле. Так как также удовлетворяет условиям теоремы, то найдётся поле, содержащее не более элементов, на котором формула выполнима. Следовательно, U не может быть истинной на этом поле, что противоречит условию. Итак, предположение, что U не является тождественно истинной, приводит к противоречию, что и требовалось доказать.

§2. Практика по решению проблемы разрешимости формул,

содержащих предикаты от одного переменного

Доказанная (в предыдущем параграфе) теорема позволяет решать проблему разрешимости для формул, содержащих только предикаты, зависящие от одного переменного. Из следствия видно, что для того, чтобы установить, является ли формула U тождественно истинной или нет, достаточно проверить, является ли она тождественно истинной для всякого поля, содержащего не более чем элементов.

Заметим, что достаточно проверить, является ли данная формула U тождественно истинной на поле, состоящем ровно из элементов. Это следует из того, что для формул рассматриваемого типа имеет место следующее: если формула U тождественно истинна на некотором поле, то она тождественно истинна на всякой его части.