Modallogik/K/Folgerungen/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

In einer -Modallogik sind folgende Aussagen ableitbar.

  1. Aus

    folgt

  2. Aus

    folgt

Zum Beweis, Alternativen Beweis erstellen