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