Logik-Gazette

Liebes Logik-Team,

meine Frage bezieht sich auf die Formalisierung von Sätzen mit mehreren Quantoren. VL01 Folie 15 erlaubt folgendes:

Jeder Dompteur kennt alle Tiere, die er trainiert: ∀x∀y((Px∧Qy)∧Rxy → Sxy)

VL02 Folie 4 scheint folgende Formalisierung zu verlangen:

Alle Götter werden von allen Stammesangehörigen verehrt: ∀x∀y(Px → (Qy → Rxy))

Die Struktur der Sätze scheint mir gleich, aber eine Formalisierung wie im ersten Beispiel, wo Px und Qy zusammen als Konjunktion ins Antezedens genommen werden, liess Frau Saporiti bei den Göttern nicht gelten.

Übersehe ich hier einen Unterschied, oder sind beide Formalisierungen möglich?

Danke für Eure Antwort