Hallo Zusammen
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...
