Главная
Проблема исчисления предикатов
Процедура унификации
Отношения на функциях принадлежности
Неразрешимые алгоритмические проблемы МТ
Полнота и непротиворечивость
NP-полные (универсальные) задачи
Стандартизация услуг
Стандартизация и экология
Организационные и методические принципы сертификации в России
Программа сертификации
Метрологический надзор
Структура кристаллов
Судьбы крестьянские
Еще одна фальшивая ценность
Такая судьба
Соприкосновение с рынком
Мой театр, мои коллеги
Гастроли
И жизнь и слезы и любовь
Возвращение из Томска
Реклама:
ж д перевозки |
|
Проблема исчисления предикатов
мула:
Q1x[F(x)]*Q2x[G(x)]=Q1xQ2z[F(x)*G(z)] (3.4)
То есть, при “пронесении” квантора, вводим новую переменную z, чтоб каждый квантор, в итоге не относился к переменной другого квантора. Если Q2 нет, то просто переименовываем x из G.
Но есть два частных случая этой формулы:
"x[F(x)]&"x[G(x)]="x[F(x)&G(x)] (3.5)
$x[F(x)]+$x[G(x)]=$x[F(x)+G(x)] (3.6)
Полученных четырех соотношений хватает для того, чтобы “проносить” кванторы через операции & и V. Еще два закона де Моргана для кванторов позволяют избавляться от отрицаний над кванторами, “спуская” отрицание к атомам.
?("x[F(x)])=$x[?F(x)] (3.7)
?($x[F(x)])="x[?F(x)] (3.8)
Если считать F атомом, а кванторы – функциями, видно, что кванторы
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 |
