Negation/K-Axiom/Nezessisierungsregel/Ideologieaxiom/Aufgabe

Wir betrachten eine formale Modallogik, die durch das Axiomenschema

$\vdash \Box \alpha \leftrightarrow \neg \alpha$

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