Aussagenlogik/Interpretation/Maximal widerspruchsfrei/Fakt
Es sei die Sprache der Aussagenlogik zu einer Aussagenvariablenmenge und es sei eine Wahrheitsbelegung der Variablen mit zugehöriger Interpretation .
Dann ist maximal widerspruchsfrei.
Es sei die Sprache der Aussagenlogik zu einer Aussagenvariablenmenge
und es sei
eine
Wahrheitsbelegung
der Variablen mit zugehöriger
Interpretation
.
Dann ist
maximal widerspruchsfrei.