1g) Weder Bandersnatches noch Momeraths bosen.
in der Lösung:
¬(Allquantor)x(B(x) -> O(x)) ^ ¬(Allquantor)y(E(y) -> O(y))

Aber mueste es nicht der Existensquantor negiert sein? Denn Weder noch heißt doch garkeiner von beiden somit also nicht einer

die musterlösung von 13 hat wohl auch nen fehler, bei der Lösung zu 1. Da werden ExAy1Ey2 gennant aber y2 taucht niemals auf

1g) Weder Bandersnatches noch Momeraths bosen.
in der Lösung:
¬(Allquantor)x(B(x) -> O(x)) ^ ¬(Allquantor)y(E(y) -> O(y))

Aber mueste es nicht der Existensquantor negiert sein? Denn Weder noch heißt doch garkeiner von beiden somit also nicht einer

Du meinst, es müsste

[img]http://mokrates.de/cgi-bin/texstring?%5Cneg%5Cexists%7B%7Dx(B(x)%20%5Cwedge%20O(x))%20%5Cwedge%20%5Cneg%5Cexists%7B%7Dy(E(y)%20%5Cwedge%20O(y))%0A[/img]

sein? Ich würde dir zustimmen, und habe keine Ahnung, wie mir dieser Fehler beim Erstellen der Musterlösung passiert ist. :-)

die musterlösung von 13 hat wohl auch nen fehler, bei der Lösung zu 1. Da werden ExAy1Ey2 gennant aber y2 taucht niemals auf

Ja, aber es ist recht offensichtlich, dass die unqualifizierten Ypsilons rechts wohl y_2 sein sollen.