Имеется множество дизъюнктов S = ( PvQ, ¬Р vQ, Pv¬Q, ¬PV¬Q ). - Ответ на вопрос по ИИС №6949

Вопрос

Имеется множество дизъюнктов S = ( PvQ, ¬Р vQ, Pv¬Q, ¬PV¬Q ). Для доказательства противоречивости S были получены некоторые резольвенты. Результатом резолюции дизъюнктов 1 и 4 стал новый дизъюнкт Qv¬Q,
1. PvQ.
2. ¬PvQ,
3. Pv¬Q,
4. ¬Pv¬Q

---

5. Qv¬Q, (резольвента 1 и 4)
Какое из следующих утверждений справедливо?

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

Ответ