Aussagenlogik/Ausdrucksmenge/Ableitungsbeziehung/Definition
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.