0 Daumen
411 Aufrufe



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

 

Avatar von
Oder kann man einfach sagen;

F(a) ∧ G(a) ?

1 Antwort

0 Daumen
Wenn a bereits mit "Der Liebhaber" belegt ist, genügt es zu schreiben:

F ( a ) ∧ G ( a )
Avatar von 32 k

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community