Modallogik/K/Konjunktion der Möglichkeitsaussage/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen
  1. Zeige, dass in einer -Modallogik das Axiomenschema

    gilt.

  2. Zeige, dass in einer -Modallogik das Axiomenschema

    nicht gelten muss.

Eine Lösung erstellen