Zum Inhalt springen

Modallogik/K/Folgerungen/Fakt

Aus Wikiversity

In einer -Modallogik sind folgende Aussagen ableitbar.

  1. Aus

    folgt

  2. Aus

    folgt