Übungsblatt 11: Aufgabe 1: d) p ist notwendigerweise wahr, p ist kontingent wahr. Auf der Musterlösung wird inkompatible als richtige Antwort angegeben. In der Übungsstunde wurde jedoch gesagt, dass ‘p ist kontingent wahr’ formalisiert werden könnte als: ◊p ˄ ◊¬p Aufgabe d) könnte demnach wie folgt formalisiert werden: □p ^ (◊p ˄ ◊¬p)
Read on »