Aussagenlogik/Variablenbelegung/Ableitbarkeit/Fakt

Es sei eine aussagenlogische Aussage und es seien die darin vorkommenden Aussagenvariablen. Es sei

eine fixierte Konjunktion dieser (negierten) Aussagenvariablen.

Dann ist