Имеется множество дизъюнктов 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 = И.
Для просмотра статистики ответов нужно
залогиниться.