Negation/K-Axiom/Nezessisierungsregel/Ideologieaxiom/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Wir betrachten eine formale Modallogik, die durch das Axiomenschema

gegeben sei.

  1. Erfüllt diese Modallogik das Axiomenschema K?
  2. Erfüllt diese Modallogik die Nezessisierungsregel?
  3. Erfüllt diese Modallogik das Ideologieaxiom?
Eine Lösung erstellen