Ich will die natürlichsprachliche Aussage;
Der Liebhaber weint und schreit.
in die Prädikatenlogik übersetzen.
--------------------------------------------------------
Dies ist dabei schon vorgegeben:
a - Der Liebhaber
F() - ... weint
G() - ... schreit
----------------------------------------------------------
Meine Idee:
∃x [F(x)∧G(x)] ∧ (x=a) [eventuell auch mit ∃x mit einem grösseren Skopus, also ∃x [(F(x)∧G(x)) ∧ (x=a)] ]
Bin mir aber nicht sicher...
