Главная
Проблема исчисления предикатов
Процедура унификации
Отношения на функциях принадлежности
Неразрешимые алгоритмические проблемы МТ
Полнота и непротиворечивость
NP-полные (универсальные) задачи
Стандартизация услуг
Стандартизация и экология
Организационные и методические принципы сертификации в России
Программа сертификации
Метрологический надзор
Структура кристаллов
Судьбы крестьянские
Еще одна фальшивая ценность
Такая судьба
Соприкосновение с рынком
Мой театр, мои коллеги
Гастроли
И жизнь и слезы и любовь
Возвращение из Томска
Реклама:
|
|
Проблема исчисления предикатов
требуется замкнутость формулы F, образующей ПНФ отрицания теоремы.
Допустим обратное. Пусть F не замкнута, тогда существует хотя бы один предикат Pi, со свободной переменной x. А это значит, что Pi – не является элементарным высказыванием для алгебры логики. Этот предикат перестает быть логической переменной, превращаясь в логическую функцию от x. Причем x не как не конкретизируется. При этом, если x принадлежит бесконечному множеству предметных констант, то существует бесконечно много различных прочтений формулы F, что неприемлемо для любого исчисления. Таким образом, формальному исчислению подлежат ПНФ с нульместными предикатами.
Формальный вывод в ЛП. Было отмечено, что к матрице неприменимо СИВ, из-за наличия кванторов сущест
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 |
