Aussagenlogik/Ausdrucksmenge/Ableitungsbeziehung/Definition/Begriff

Die Ableitbarkeit eines Aussage aus einer Aussagenmenge in der Sprache der Aussagenlogik zu einer Aussagevariablenmenge .