Modallogik/T und Transitivitätsaxiom/Antifixpunkt/Widerspruchsfreiheit impliziert Unableitbarkeit/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein -modallogisches System, in dem zusätzlich das Transitivitätsaxiom gelte. Ferner sei ein modallogischer Ausdruck, für den

gelte. Zeige für einen beliebigen Ausdruck die Ableitbarkeit

Zur Lösung, Alternative Lösung erstellen