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...
⇒
...
⇐
