Logik/Modell/Maximal widerspruchsfrei/Beispiele/Fakt
Es sei ein Symbolalphabet und eine -Interpretation auf einer Menge , wobei die Terminterpretation surjektiv sei.
Dann ist die Gültigkeitsmenge maximal widerspruchsfrei und enthält Beispiele.
Es sei ein
Symbolalphabet
und
eine
-Interpretation
auf einer Menge
, wobei die
Terminterpretation surjektiv
sei.
Dann ist die Gültigkeitsmenge
maximal widerspruchsfrei
und
enthält Beispiele.