Реферат Курсовая Конспект
Правила вывода в исчислении предикатов. - раздел Философия, Лекция 5. Логика предикатов 3 Каждый человек смертен Логика Предикатов, Также Как И Логика Высказываний, Основана На Дедуктивном Р...
|
Логика предикатов, также как и логика высказываний, основана на дедуктивном рассуждении. Поэтому правила вывода логики высказываний, приведенные в п. 3.2.4 , равнозначно действуют и в логике предикатов. Однако они дополняются правилами введения и удаления кванторов всеобщности и существования. Пусть Е – множество формул.
Правила введения кванторов следующие:
для квантора ,
для квантора .
Правила удаления кванторов следующие:
для квантора ,
для квантора .
Так же, как и в логике высказываний, в логике предикатов правила вывода применяются очень редко. Причины те же самые и поэтому здесь не повторяются.
В основном правила вывода используются для эквивалентных преобразований формульного представления теорем с целью приведения их к канонической форме.
– Конец работы –
Эта тема принадлежит разделу:
Введение... Praedicatuum лат сказанное это сказуемое утверждения то что... В логике высказываний атом рассматривается как неделимое целое структура и состав которого не поддаются внешнему...
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Правила вывода в исчислении предикатов.
Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Твитнуть |
Новости и инфо для студентов