In Ebbinghaus (Einführung in die math. Logik, 6. Aufl., S. 34) lese ich folgende Definition: Φ ⊨ ϕ :gdw. jede Interpretation, die Modell von Φ ist, ist auch Modell von ϕ. Das kann man doch umformen: Φ ⊨ ϕ :gdw. jedes Modell von Φ ist auch Modell von ϕ. Richtig? Dann muss aber auch gelten, dass ⊨ ϕ :gdw. jedes Modell ist auch Modell von ϕ. Richtig?
In Ebbinghaus (Einführung in die math. Logik, 6. Aufl., S. 34) lese ich folgende Definition:
Φ ⊨ ϕ :gdw. jede Interpretation, die Modell von Φ ist, ist auch Modell von ϕ.
Das kann man doch umformen: Φ ⊨ ϕ :gdw. jedes Modell von Φ ist auch Modell von ϕ. Richtig?
Dann muss aber auch gelten, dass ⊨ ϕ :gdw. jedes Modell ist auch Modell von ϕ. Richtig?
Ja, wenn jedes Model ein Model von ϕ ist, dann nennt man ϕ auch eine Tautologie