Definition der semantischen Folgerung
Verfasst: 30. Okt 2023, 17:36
Eine Frage an Logik-versierte:
A |= B gdw. A, B wff einer Sprache L und ein beliebiges Modell von A in L auch Modell für B ist. So geht glaub ich die Standarddefinition. Deshalb kam ich auf den Gedanken zu definieren, dass
|= B gdw. B wff einer Sprache L und ein beliebiges Modell in L auch Modell für B ist.
Kann man das so definieren oder muss/soll man besser mit dem Begriff der Interpretation arbeiten?
A |= B gdw. A, B wff einer Sprache L und ein beliebiges Modell von A in L auch Modell für B ist. So geht glaub ich die Standarddefinition. Deshalb kam ich auf den Gedanken zu definieren, dass
|= B gdw. B wff einer Sprache L und ein beliebiges Modell in L auch Modell für B ist.
Kann man das so definieren oder muss/soll man besser mit dem Begriff der Interpretation arbeiten?