рефераты конспекты курсовые дипломные лекции шпоры

Реферат Курсовая Конспект

Формулы логики предикатов. Равносильные формулы, приведенные и нормальные формы.

Формулы логики предикатов. Равносильные формулы, приведенные и нормальные формы. - раздел Математика, Разностью множеств А и В называется множество АВ, элементы которого принадлежат множесву А, но не принадлежат множеству В Формулы Логики Предикатов Первого Порядка Рекурсивно ...

Формулы логики предикатов первого порядка рекурсивно определяются следующим образом:

1. атом есть формула;

2. если A и B - формулы, то ~A, AÙB, AÚB, A® B, A«B - тоже формулы;

3. если A(x) - есть формула, а x - свободная переменная в A(x) , то ("x)A(x) и ($x)A(x) - тоже формулы;

4. других формул, кроме составленных с помощью правил (1) - (3), нет.

Если две формулы W и V, определенные на некоторой области М, принимают одинаковые значения при всех значениях входящих в них переменных предикатов, переменных высказываниях и предметных переменных из М, то они равносильны на М.

Формулы, равносильные на любых областях, называются просто равносильными и могут заменять друг друга. Все равносильности, имеющее место в алгебре высказываний переносятся и в логику предикатов. Кроме равносильности

алгебры высказываний в логике предикатов существуют равносильности, связанные с кванторами.

Приведенная форма данной формулы называется нормальной, если она не содержит кванторов или операции связывания квантором следуют за всем операциями алгебры высказываний. В записи нормальной формы кванторы, если они есть, предшествуют всем остальным логическим символам. Например, приведенная форма нормальна, если не содержит кванторов.

Каждая формула логики предикатов имеет нормальную формулу.

– Конец работы –

Эта тема принадлежит разделу:

Разностью множеств А и В называется множество АВ, элементы которого принадлежат множесву А, но не принадлежат множеству В

Под множеством будем понимать совокупность определ нных вполне различаемых объектов рассматриваемых как единое целое это понятие фундаментально... Множества задаются двумя способами перечислением и описанием Задание... Описательный способ задания множества состоит в том что указывается характерное свойство которым обладают все...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Формулы логики предикатов. Равносильные формулы, приведенные и нормальные формы.

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

Свойства бинарных отношений.
1. = ,

I-группа
1.Коммутативности: Х / У = У / Х Х / У = У / Х 2. Ассоциативности: (сочетательный) Х / (У / Z) = (X / Y) / Z

Дизъюнктивные и конъюнктивные нормальные формы. Совершенные нормальные формы. Алгоритм построения.
Дизъюнктивным одночленом от n переменных называется дизъюнкция этих переменных или их отрицаний X1 / X2(отриц.)/ X3, X1 / X 3(отриц.) , X 1 / X 2 / X3 Аналогично конъюнктивным одн

Многочлен Жегалкина. Алгоритм построения.
Многочлены Жегалкина являются еще одним интересным подклассом формул, позволяющим однозначно представлять булевы функции. Многочленами Жегалкина назваются формулы над множеством функций F

Полнота множества функций. Теорема Поста.
Функциональная полнота — множества логических операций или булевых функций — это возможность выразить все возможные значения таблиц истинности с помощью формул из элементов этого м

Предикаты. Применение предикатов.
Предика́т — любое математическое высказывание, в котором есть, по меньшей мере, одна переменная[источник не указан 670 дней]. Предикат является основным объектом изучения логики первого порядк

Формальные системы. Умозаключения и их виды.
Форма́льная систе́ма — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов

Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Реклама
Соответствующий теме материал
  • Похожее
  • Популярное
  • Облако тегов
  • Здесь
  • Временно
  • Пусто
Теги