Условие задачи
Формализовать рассуждение на языке ИП: ввести необходимые предикаты, переменные, константы. С их помощью записать в виде формул посылки и заключение.
Всякий разумный философ - циник и только женщины являются разумными философами. Существуют разумные философы. Следовательно, некоторые из женщин - циники.
Ответ
Введём предикаты, которые используются в рассуждении. Это предикаты для обозначения свойств быть разумным философом, быть женщиной и быть циником:
разумный философ,
женщина,
Потяни
