Deduction Theorem

[alfa6]

Jeg følgende oppgave som klarer ikke å løse
The following theorem is a generalized version of the Deduction Theorem:

Theorem. Let n >= 1, and let theta 1....theta n be sentences. Furthermore, let sigma be a set of formulas. Then, sigma U (theta 1, ..., theta n) grinn phi if and only if sigma grin [theta 1]\wedge[/...] [...]\wedge[/ [theta n \mapsto[/phi]]

Prove the theorem. Use the Deduction Theorem as a lemma in your proof. (Do not prove the Deduction Theorem).

[peterbb]

Hvor langt har du kommet? Forstår du hva oppgaven sier? Har du prøvd å f.eks. bevise implikasjonen kun en vei? Noen ide om hva slags bevisteknikk du kommer til å trenge?