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

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

eine fixierte Konjunktion dieser (negierten) Aussagenvariablen. Zeige, dass dann

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

gilt.