Aussagenlogik/Maximal widerspruchsfrei/Eigenschaften/Fakt

Es sei ${}V$ eine Menge an Aussagenvariablen und ${}\Gamma \subseteq L^{V}$ eine maximal widerspruchsfreie Teilmenge der zugehörigen Sprache der Aussagenlogik. Dann gelten folgende Aussagen.

Für jedes ${}\alpha \in L^{V}$ ist entweder ${}\alpha \in \Gamma$ oder ${}\neg \alpha \in \Gamma$ .

Aus ${}\Gamma \vdash \alpha$ folgt ${}\alpha \in \Gamma$ .

Es ist ${}\alpha \wedge \beta \in \Gamma$ genau dann, wenn ${}\alpha \in \Gamma$ und ${}\beta \in \Gamma$ .

Es ist ${}\alpha \rightarrow \beta \in \Gamma$ genau dann, wenn ${}\alpha \not \in \Gamma$ oder ${}\beta \in \Gamma$ .

Zum Beweis, Alternativen Beweis erstellen

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