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

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

Для просмотра статистики ответов нужно залогиниться.