Die Musterlösung enthält tatsächlich einen Fehler – aber auch dein Vorschlag.

– Qxy oder Qyx
Beachte bitte die Interpretation der Konstanten:

Qxy: x wird von y respektiert.

Mit dieser Interpretationen müsste dein Vorschlag, den Satz mit «∀x(Px∧∃y((Py∧Qyx)∧¬(y=x))→Qxx)» zu formalisieren, normalsprachlich wie folgt formalisiert sein: Nur Menschen, die sich selbst respektieren, respektieren auch andere Menschen.

– Px oder Py
Das zweite «Px» müsste natürlich «Py» sein.

Die korrekte Lösung ist somit
∀x(Px∧∃y((Py∧Qxy)∧¬(x=y))→Qxx)