Zum Inhalt springen

Modallogik/Modell/Ausdruck/Gültigkeit/Definition

Aus Wikiversity
Gültigkeit eines Ausdruck (Modallogik)

Man sagt, dass ein modallogischer Ausdruck in einem modallogischen Modell gilt, geschrieben

wenn

für alle gilt.