Студопедия

Главная страница Случайная лекция


Мы поможем в написании ваших работ!

Порталы:

БиологияВойнаГеографияИнформатикаИскусствоИсторияКультураЛингвистикаМатематикаМедицинаОхрана трудаПолитикаПравоПсихологияРелигияТехникаФизикаФилософияЭкономика



Мы поможем в написании ваших работ!




Предваренная нормальная формула (ПНФ)

Читайте также:
  1. Вероятность гипотез (формула Байеса)
  2. Внешние и внутренние издержки производства. Экономическая, бухгалтерская и нормальная прибыль
  3. Вторая нормальная форма (2НФ)
  4. И в первом и во втором правилах используется формула Байеса, в которых условные и безусловные вероятности колебаний погоды построены на предшествовании статистики.
  5. Интегральная формула Коши. Некоторые следствия из интегральной формулы.
  6. Интерполяционная формула для системы узких резонансов
  7. Календарно–тематический план лекций по дисциплине/курсу нормальная физиология
  8. Лекция № 3 «Касательные напряжения при изгибе. Формула Журавского. Закон распределения касательных напряжений по сечению».
  9. Лекция №6 «Продольный изгиб. Формула Эйлера. Условие устойчивости сжатых стержней».
  10. Линейная и нормальная корреляция.

Предваренной (или пренексной) формулой называется формула вида

j: Q1(x1)Q2(x2)…Qn(xn) s,

где QiÎ{", $} кванторы, s - формула без кванторов. Выражение (Q1(x1)Q2(x2)…Qn(xn)) называется префиксом формулы j, а s - матрицей предваренной нормальной формы, если она находится в конъюнктивной нормальной форме (КНФ). Таким образом, в предваренной формуле все кванторы находятся в начале формулы. Бескванторная формула также считается предваренной.

Теорема о предваренной форме. Для всякой формулы А существует предваренная формула В и А~В (А равносильна В).

Процедура приведения произвольной формулы логики предикатов к предваренной нормальной форме включает следующие шаги:

Преобразование формул, устраняющее логические связки ® и «.

Пронесение отрицания вглубь подформул, чтобы отрицания находились только над атомами.

Вынесение кванторов за скобки в порядке их следования в формуле с учетом общезначимых эквивалентностей логики предикатов.

При необходимости переименование связанных переменных в подформулах во избежание коллизии переменных.

Представление полученной бескванторной формулы в КНФ.

Пример приведения формулы логики предикатов к ПНФ.

Следующим шагом является преобразование предложения j в универсальное предложение j*, которое содержит только кванторы общности, находится в предваренной форме и выполнимо тогда и только тогда, когда выполнимо j. Кванторы в префиксе ПНФ должны следовать в том порядке, в каком они встречаются в формуле.

Кванторы можно выносить в разном порядке, так что вид кванторной приставки зависит от способа получения предваренной формы. (?)


<== предыдущая страница | следующая страница ==>
Правила вывода в исчислении предикатов | 

Дата добавления: 2014-11-08; просмотров: 1119; Нарушение авторских прав




Мы поможем в написании ваших работ!
lektsiopedia.org - Лекциопедия - 2013 год. | Страница сгенерирована за: 0.003 сек.