Имеется множество дизъюнктов 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.
______________
Q ∨ ¬Q, (резольвента 1 и 4)
Какое из следующих утверждений справедливо:

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