# Thread: derive formulas in mathematical logic

1. ## derive formulas in mathematical logic

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?

2. 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?
From what you've described (three axioms schemes, and one rule that you've identified as MP), I'd say you might be thinking:

First, an application of the Deduction Theorem, followed by an application of MP.