Реферат Курсовая Конспект
Формулы логики предикатов. Равносильные формулы, приведенные и нормальные формы. - раздел Математика, Разностью множеств А и В называется множество АВ, элементы которого принадлежат множесву А, но не принадлежат множеству В Формулы Логики Предикатов Первого Порядка Рекурсивно ...
|
Формулы логики предикатов первого порядка рекурсивно определяются следующим образом:
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, определенные на некоторой области М, принимают одинаковые значения при всех значениях входящих в них переменных предикатов, переменных высказываниях и предметных переменных из М, то они равносильны на М.
Формулы, равносильные на любых областях, называются просто равносильными и могут заменять друг друга. Все равносильности, имеющее место в алгебре высказываний переносятся и в логику предикатов. Кроме равносильности
алгебры высказываний в логике предикатов существуют равносильности, связанные с кванторами.
Приведенная форма данной формулы называется нормальной, если она не содержит кванторов или операции связывания квантором следуют за всем операциями алгебры высказываний. В записи нормальной формы кванторы, если они есть, предшествуют всем остальным логическим символам. Например, приведенная форма нормальна, если не содержит кванторов.
Каждая формула логики предикатов имеет нормальную формулу.
– Конец работы –
Эта тема принадлежит разделу:
Под множеством будем понимать совокупность определ нных вполне различаемых объектов рассматриваемых как единое целое это понятие фундаментально... Множества задаются двумя способами перечислением и описанием Задание... Описательный способ задания множества состоит в том что указывается характерное свойство которым обладают все...
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Формулы логики предикатов. Равносильные формулы, приведенные и нормальные формы.
Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Твитнуть |
Новости и инфо для студентов