Nächste Seite: Übungen zu Kapitel 3 Vorige Seite: Aufgabe 40

Aufgabe 41

Gegeben seien die Axiome der Modallogik S5 und die folgenden allgemeinen Axiome.

Beweise die folgenden Theoreme.