Lösungen zur Aufgabe 32 aus Thi-2

Prädikatenlogik

Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.

Lösungen zur Aufgabe 32 aus Thi-2
Hallo,
kann mir jemand mit seinen Mitschriften zur Aufgabe 32 aus Thi-2 weiterhelfen. Die Lösung von Meyn und Degen ist ein bißerl spärlich.
Vielleicht hat’s jemand eingescannt oder wills mir faxen?
Im Fax-Fall bitte kurz mailen oder icq-en.
Danke!