Originally Posted by

**sfitz** Hey everyone,

Here's the problem:

Show that if $\displaystyle \Gamma \vdash \phi $ and $\displaystyle \Delta,\phi \vdash \psi$, then $\displaystyle \Gamma,\Delta \vdash \psi$

I soooort of know how to start, it's supposed to be like,

We already have a derivation of $\displaystyle \psi$ from $\displaystyle \Gamma$, so start with:

.

.

.

(k) $\displaystyle \phi$

(k+1)

(k+2)

.

.

.

I have a hard time getting this naturally, because to me it feels like I should be able to assume $\displaystyle \Delta$ in line (k+1) and then have $\displaystyle \psi$... but then, that's not right because it doesn't use Modus Ponens or any of the three axioms.

Any help or hints as to how I should be thinking?