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

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

Метод резолюций в исчислении высказываний.

Нужна помощь в написании работы?

Метод резолюции является одним из методов доказательства от противного. Метод, предложенный Дж. Робинсоном, в настоящее время является теоретической базой большинства методов доказательства. Хотя общепринятые правила вывода, например, правило modus ponens, позволяют человеку проследить за каждым шагом процедуры доказательства, существует более сильное правило резолюций, которое трудно поддается восприятию, но эффективно реализуется на компьютере.

В настоящее время не существует эффективных критериев проверки выполнимости КНФ. Метод резолюций позволяет выявить невыполнимость множества дизъюнктов.

Далее вставка 5С.

 

Покори английский в игровой форме! Основные преимущества:

  • Занимайся с любого девайса
  • Тренируйся с азартом
  • Выбирай интересные материалы
  • Проходи увлекательные языковые курсы
  • Учись со львом играючи

Начать изучать бесплатно