Modallogik/Ableitung/Notwendigkeitsversion/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Die Ableitbarkeit bedeutet, dass es Ausdrücke mit

gibt. Nach Fakt  (1) ist

Aus Fakt  (4) folgt durch Induktion sofort

und somit mit dem Kettenschluss

Dies bedeutet