Какие шаги необходимы для доказательства теоремы методом резолюций?

Question

Answer

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

Answer

Найти все возможные модели для аксиом.

Answer

Преобразовать полученную формулу в множество дизъюнктов

Answer

Отрицать заключение теоремы

Answer

Преобразовать формулу теоремы (и аксиомы, если есть) в конъюнктивную нормальную форму

Crowdly