Logik-Gazette

Liebe Studierende

Auf Anregung des unten stehenden Posts wurden folgende Änderungen in den entsprechenden Musterlösungen gemacht:

– Übung 4, Aufgabe 1, i): Dieser Satzoperator ist tatsächlich klassischerweise WF. Es kann aber auch dafür argumentiert werden, dass es sich um einen partiell wahrheitsfunktionalen Operator (PWF) handelt. Eine entsprechend korrigierte Version der Musterlösung ist ab sofort online.

– Übung 09, Aufgabe 4, 15)/16)/25): Hier ist leider wirklich einiges durcheinander gekommen, die ML wurde entsprechend korrigiert.

Ich hoffe, damit die Fragen geklärt zu haben, und wünsche eine gute Prüfungsvorbereitung!

Beste Grüsse,
Reto