Modallogik/K/Ableitung/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Ableitbar (Modallogik)

Man sagt, dass ein modallogischer Ausdruck aus dem -System ableitbar ist, wenn sich aus aussagenlogischen Tautologien und aus Instanzen des -Axioms mit Hilfe des Modus Ponens oder der Nezessisierungsregel ergibt. Dafür schreibt man