Allgemeine Frage zu Mengen
Zitat von Folie 9 aus Vorlesung 6:
X folgt ausM (M impliziert X) gdw. X unter jeder Booleschen Bewertung
über A wahr ist, unter der alle in M enthaltenen Formeln wahr sind.
Zitat Ende
Kann also aus einer unerfüllbaren (inkonsisten) Menge nichts folgen, oder ? (D.h. das ist nicht gleich wie bei einem logischen Schluss, wo ja bekanntlich alles […]