Aussagenlogik/Variablenbelegung/Ableitbarkeit/Fakt

Es sei ${}\alpha$ eine aussagenlogische Aussage und es seien ${}p_{1},\ldots ,p_{n}$ die darin vorkommenden Aussagenvariablen. Es sei

${}\gamma =\pm p_{1}\wedge \ldots \wedge \pm p_{n}\,$

eine fixierte Konjunktion dieser (negierten) Aussagenvariablen.

Dann ist

$\vdash \gamma \rightarrow \alpha \,\,{\text{ oder }}\,\,\vdash \gamma \rightarrow \neg \alpha$

Zum Beweis, Alternativen Beweis erstellen