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