Aussagenlogik/Ausdrucksmenge/Ableitungsbeziehung/Definition

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.