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