ϕ |= ψ gültig genau dann, wenn ϕ → ψ gültig

Question

Aufgabe:

Beweis:

ϕ |= ψ gültig genau dann, wenn ϕ → ψ gültig ist

Problem/Ansatz:

Ich denke ich muss einzeln beide Richtungen beweisen, weiss aber nicht so recht wie ich mit dem ϕ |= ψ umgehe...

⇒

...

⇐

...