Logische Grundbegriffe verstehen mit ein bisschen Modelltheorie

Поділитися
Вставка
  • Опубліковано 17 гру 2024

КОМЕНТАРІ • 2

  • @ostihpem
    @ostihpem Рік тому

    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?

    • @tamptus3479
      @tamptus3479 День тому

      Ja, wenn jedes Model ein Model von ϕ ist, dann nennt man ϕ auch eine Tautologie