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