0 Daumen
23 Aufrufe

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.

von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community