Главная
Проблема исчисления предикатов
Процедура унификации
Отношения на функциях принадлежности
Неразрешимые алгоритмические проблемы МТ
Полнота и непротиворечивость
NP-полные (универсальные) задачи
Стандартизация услуг
Стандартизация и экология
Организационные и методические принципы сертификации в России
Программа сертификации
Метрологический надзор
Структура кристаллов
Судьбы крестьянские
Еще одна фальшивая ценность
Такая судьба
Соприкосновение с рынком
Мой театр, мои коллеги
Гастроли
И жизнь и слезы и любовь
Возвращение из Томска
Реклама:
Подсказки при поиске строительно отделочные материалы дюбеля услуги по закупке |
|
Проблема исчисления предикатов
ции. Эта функция, для каждой интерпретации переменных y1,...yn находит значение принимаемое x,такое, которое обращает ПНФ в единицу. Но, тогда можно утверждать, что:
"y1…"yn$x[F(y1,...yn,x)] ® "y1…"yn[F(y1,...yn,x=f(y1,...yn))]. (3.9)
При этом не уточняется вид функции f, это позволяет считать, что для каждой интерпретации y1,...yn, эта функция генерирует именно то значение x о существовании которого “предполагал” квантор существования.
Если же квантору существования не предшествуют кванторы всеобщности, то функция нульместная, попросту константа, то есть:
$x[F(y1,...yn,x)] ® "y1…"yn[F(y1,...yn,x=f=a)]. (3.10)
Формулы (3.9) – (3.10), позволяют элиминировать кванторы существования. При этом согласно теореме
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 |
