Имеется множество дизъюнктов S = [P v Q, -P v Q, Pv-Q, - Ответ на вопрос по ИИС №919387
-32%
Вопрос
Имеется множество дизъюнктов S = [P v Q, -P v Q, Pv-Q, -Pv-Q]. Для доказательства противоречивости S были получены некоторые резольвенты. Результатом резолюции дизъюнктов 1 и 4 стал новый дизъюнкт Q v -Q 1.PvQ, 2 .- PvQ, 3.PV-Q, 4 .- PV-Q. 5 Qv-Q, (резольвента 1 и 4) Какое из следующих утверждений справедливо:- Противоречивость S еще не доказана, продолжаем вывод, используем при этом дизъюнкт QvQ для получения новых резольвент.
- Противоречивость S еще не доказана, продолжаем вывод, но использовать дизъюнкт QV-Q для получения новых резольвент нельзя, так как Qv-Q=И
- Противоречивость S доказана, больше не нужно продолжать вывод.
Ответ
Этот вопрос в коллекциях
5,0
🎓 Поможем сдать всё — тесты, практику, экзамены, курсовые, дипломы, отчёты! Закроем долги под ключ 🔑 Ведём от первой сессии до диплома 🏆 Работаем с Синергией, МЭИ и другими вузами 🤝 Гарантия результата или возврат денег 💰 Пиши! 🚀
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
