Aussagenlogik/Ausdrucksmenge/Ableitungsbeziehung/Definition/Begriff

Aus Wikiversity

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