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