Пытаетесь найти бесплатную помощь в интернете, но не удается?
Вас интересует какой-то вопрос или хотите проверить свое решение?
Мы сделали универсальный сервис, где математики помогут Вам.

доказать клаузу любым способом
Поступил вопрос 11 Марта 2017 по предмету "Математическая логика"

доказать клаузу любым способом:

Прикрепленные файлы:

Поступил ответ 16 Марта 2017 от Викиматика

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

  1. Преобразуем клаузу к эквивалентной форме противоречия.
  2. Левую часть клаузы преобразуем к конъюнкции дизъюнкций .
  3. Применяем метод резолюций к конъюнктам, имеющим форму дизъюнкции.
  4. Повторяем предыдущий пункт алгоритма до тех пор пока не получим в левой части противоположные формулы в качестве конъюнктов.
  5. Доказательство клаузы закончено.

См. пример решения.

×