Имеется множество дизъюнктов S = { P∨Q, ¬P ∨Q, P∨¬Q, ¬P∨¬Q }. Для доказательства противоречивости S были получены некоторые резольвенты. Результатом резолюции дизъюнктов 1 и 4 стал новый дизъюнкт Q∨¬Q,
  1. P∨Q,
  2. ¬P∨Q,
  3. P∨¬Q,
  4. ¬P∨¬Q  
  5. Q∨¬Q, (резольвента 1 и 4)
Какое из следующих утверждений справедливо?

  • Противоречивость S доказана, больше не нужно продолжать вывод.
  • Противоречивость S еще не доказана, продолжаем вывод, используем при этом дизъюнкт Q∨¬Q для получения новых резольвент.
  • Противоречивость S еще не доказана, продолжаем вывод, но использовать дизъюнкт Q∨¬Q для получения новых резольвент нельзя, так как Q∨¬Q = И.
Для просмотра статистики ответов нужно залогиниться.