Логика - доступно для всех

  • Увеличить размер шрифта
  • Размер шрифта по умолчанию
  • Уменьшить размер шрифта

Правило резолюции для исчисления высказываний

Получить выполненную работу или консультацию специалиста по вашему учебному проекту
Узнать стоимость

Пусть С1 и С2 – предложения в исчислении высказываний.

Пусть , , где Р – пропозициональная переменная,  - любые предложения.

Правило вывода  называется правилом резолюции, где

С1, С2  - родительские предложения,

 - резольвента,

 - контрарные литералы.

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

Примеры.

1. Правило вывода modus ponens:

2. Правило транзитивности

            Унификация

Если в формулу А вместо переменных подставить формулы , то получится формула В, которая является частным случаем формулы А.

.

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

Внимание!
Если вам нужна помощь в написании работы, то рекомендуем обратиться к профессионалам. Более 70 000 авторов готовы помочь вам прямо сейчас. Бесплатные корректировки и доработки. Узнайте стоимость своей работы.

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

 

Случайная новость