3. Aufgabe im 3. Übungsblatt, bei k)
Ich kann nicht verstehen warum, laut Musterlösung und Korrektur, folgende Formalisierung nicht richtig ist:
¬∃x(Rx∧∀y(Py∧Qy→Sxy))
Könnte es mir jemand erklären?
Weblog zur Einführung in die formale Logik [2. Jahrg.]
Ich kann nicht verstehen warum, laut Musterlösung und Korrektur, folgende Formalisierung nicht richtig ist:
¬∃x(Rx∧∀y(Py∧Qy→Sxy))
Könnte es mir jemand erklären?
Laura schrieb am 19 Mar 2008 um 11:57 am ¶
Soweit ich das sehe ist diese Formalisierung richtig. Dass sie in der Musterlösung nicht aufgeführt ist liegt einfach daran, dass dort nur ein Vorschlag für eine richtige Lösung aufgeführt ist. Es ist nicht möglich alle richtigen Lösungen aufzuschreiben. Bei der Korrektur muss uns dann wohl ein Fehler unterlaufen sein.
Liebe Grüsse
Laura