Aussagenlogik/Ausdrucksmenge/Ableitungsbeziehung/Definition

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

Es sei eine Ausdrucksmenge in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge und sei . Man sagt, dass aus ableitbar ist, geschrieben

wenn es endlich viele Ausdrücke derart gibt, dass

gilt.