Aussagenlogik/Ausdrucksmenge/Ableitungsbeziehung/Definition/Begriff/Inhalt

Man sagt, dass aus ableitbar ist, wenn es endlich viele Ausdrücke derart gibt, dass

gilt.