Deduction Theorem
Lagt inn: 10/10-2015 16:43
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).
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).