Modallogik/K/Ableitung/Definition

Ableitbar (Modallogik)

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

⊢ α .