Построить множество дизъюнктов для рассуждения. Бесплатный доступ к решению задач

Реферат.Справочник
Решенные задачи по логике
Построить множество дизъюнктов для рассуждения

Построить множество дизъюнктов для рассуждения .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

Построить множество дизъюнктов для рассуждения. Для этого привести посылки и отрицание заключения к ПНФ, а затем к Сколемовской стандартной форме. Методом резолюции вывести пустой (тождественно ложный) дизъюнкт из исходного множества дизъюнктов, доказав тем самым справедливость рассуждения. Всякий разумный философ - циник и только женщины являются разумными философами. Существуют разумные философы. Следовательно, некоторые из женщин - циники.

Решение

Потяни, чтобы посмотреть

-3238513614400В формализованном выше рассуждении из двух посылок следует заключение:
∀x((Px→Bx)∧(Cx→PX)
∃xP(x)
∃x(Cx→Bx)
Докажем рассуждение «от противного», построив логическое произведение посылок и отрицания заключения.
Посылка 1: ∀x(Px→Bx∧Cx→PX=∀x(¬Px∨Bx∧¬Cx∨PX=∀x(¬Px∨Bx∧¬Cx∨PX формула преобразована к ПНФ.
Посылка 2: ∃xP(x) формула преобразована к ПНФ.
Отрицание заключения: ¬∃xCx→Bx=¬∃x¬Cx∨Bx=∀x¬¬Cx∧¬Bx=∀xCx∧¬Bx формула преобразована к ПНФ.
Преобразование Сколема и получение множества дизъюнктов.
Посылка 1: ПНФ ∀x(¬Px∨Bx∧¬Cx∨PX) при отсутствии кванторов существования совпадает со Сколемовской стандартной формой

50% задачи недоступно для прочтения

Переходи в Кампус, регистрируйся и получай полное решение

Получить задачу