Aufgabe:
Ich muss zeigen bzw. widerlegen, dass diese Sequenzregel wahr bzw. falsh ist:
\( \frac{\Gamma, \varphi \vdash \Delta, \psi \quad \Gamma, \psi \vdash \Delta, \eta}{\Gamma, \neg \eta \vdash \Delta, \psi \rightarrow \varphi} \)
Problem/Ansatz:
Ich muss über Interpretationen argumentieren.