Aussagenlogik/Variablenbelegung/Ableitbarkeit/Fakt/Beweis/Aufgabe

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. Zeige, dass dann

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

gilt.

Zur Lösung, Alternative Lösung erstellen