Schließen, Beweisen und Folgern - sodass.net
Schließen, Beweisen und Folgern - sodass.net
Schließen, Beweisen und Folgern - sodass.net
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Deduktionstheorem Beweis I<br />
Angenommen, ⊢ A 1 ⊃ (A 2 ⊃ (. . . ⊃ (A n ⊃ B) . . .)). Dann<br />
sieht die gesuchte Ableitung so aus:<br />
1. {1} A 1 Ann.<br />
.<br />
n. {n} A n Ann.<br />
n + 1. ∅ A 1 ⊃ (A 2 ⊃ (. . . ⊃ (A n ⊃ B) . . .)) Theo<br />
n + 2. {1} (A 2 ⊃ (. . . ⊃ (A n ⊃ B) . . .) B ⊃ 1, n + 1<br />
.<br />
n + n {1, . . . , n} B B ⊃ n, n + n − 1<br />
Dr. Uwe Scheffler 8