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.