Ответ на вопрос №6949: Имеется множество дизъюнктов S = ( PvQ, ¬Р vQ, Pv¬Q, ¬PV¬Q ). Для доказательства противоречивости S были получены некоторые резольвенты. Результатом резолюции дизъюнктов 1 и 4 стал новый дизъюнкт Qv¬Q, 1. PvQ. 2. ¬PvQ, 3. Pv¬Q, 4. ¬Pv¬Q5. Qv¬Q, (резольвента 1 и 4) Какое из следующих утверждений справедливо? Противоречивость S еще не доказана, продолжаем вывод, используем при этом дизъюнкт Qv¬Q дляИмеется множество дизъюнктов S = ( PvQ, ¬Р vQ, Pv¬Q, ¬PV¬Q ). Для - Ответ на вопрос №6949Имеется множество дизъюнктов S = ( PvQ, ¬Р vQ, Pv¬Q, ¬PV¬Q ). Для - Ответ на вопрос №6949
2023-12-262023-12-26СтудИзба
Имеется множество дизъюнктов S = ( PvQ, ¬Р vQ, Pv¬Q, ¬PV¬Q ). Для - Ответ на вопрос №6949
-47%
Вопрос
Имеется множество дизъюнктов 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 доказана, больше не нужно продолжать вывод.
Ответ
Хочешь зарабатывать на СтудИзбе больше 10к рублей в месяц? Научу бесплатно!
Начать зарабатывать
Начать зарабатывать