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