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$

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.