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