Prädikatenlogik 1. Ordnung

Hallo,

ich sitze gerade an einem Übungszettel, bei dem ich u.A. folgenden Satz in die Spraceh der Prädikatenlogik 1. Ordnung übersetzen soll:

Der Kopf eines Pferdes ist der Kopf eines Tieres (2)

Ein anderer Satz lautet:

Pferde sind Tiere (1),

was ich zu

$\forall x.\mathrm{Pferd}(x) \Rightarrow \mathrm{Tier}(x)$

übersetzt habe. Zu (2) fällt mir aber nichts sinnvolles ein, ich habe mir sowas wie

$\forall x \exists h \exists y.\mathrm{Pferd}(x) \wedge \mathrm{KopfVon}(h, x) \Rightarrow \mathrm{Tier}(y) \wedge \mathrm{KopfVon}(h, y)$

überlegt. Kann das so richtig sein? Ich zweifel nämlich noch ein wenig, da anschließend gezeigt werden soll, dass mithilfe der Resolutionsregel (2) aus (1) gefolgert werden kann. Die Konjunktionen bereiten mir allerdings etwas Sorge.

Vielleicht weiß ja jemand Rat.

Bashar

Ich denke du solltest h auch allquantifizieren.