Условие задачи
Переведите с естественного языка на формальный. Если всякий разумный философ — циник и только женщины являются разумными философами, то тогда, если существуют разумные философы, некоторые из женщин циники.
Ответ
Универсум: люди; предикаты: F(x) x разумный философ,
W(x) x женщина, C(x) x циник.
Определим подформулы:
всякий разумный философ циник x (F(...