Modallogik/K/Nicht paradox/Ableitung/Aufgabe

Es sei ${}\Gamma$ eine Menge von modallogischen Ausdrücken, die allesamt nicht paradox seien und es sei

$\Gamma \vdash \alpha$

eine Ableitung.

Zeige, dass ${}\alpha$ ebenfalls nicht paradox ist.

Eine Lösung erstellen