Aussagenlogik/Interpretation/Maximal widerspruchsfrei/Fakt

< Aussagenlogik < Interpretation < Maximal widerspruchsfrei

Es sei ${}L^{V}$ die Sprache der Aussagenlogik zu einer Aussagenvariablenmenge ${}V$ und es sei ${}\lambda$ eine Wahrheitsbelegung der Variablen mit zugehöriger Interpretation ${}I$ .

Dann ist ${}I^{\vDash }$ maximal widerspruchsfrei.

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.