Modallogik/K/Möglichkeitsdisjunktion/Aufgabe

  1. Zeige, dass in einer -Modallogik das Axiomenschema

    gilt.

  2. Zeige, dass in einer -Modallogik das Axiomenschema

    nicht gelten muss.