Schließen, Beweisen und Folgern - sodass.net

Weitere Magazine

Empfehlungen

Info

Das Begründungsproblem ◮ Lewis Carroll: Alice in Wonderland ◮ Douglas Hofstadter: Godel, Escher, Bach: An Eternal Golden Braid ◮ Warum stimmen die Regeln und nicht andere? ◮ Warum genau diese Regeln unter all denen, die stimmen? ◮ Logiken, oder Logik? Dr. Uwe Scheffler 12
Achilles und die Schildkröte Anna: Du akzeptierst, daß es regnet, und auch daß wenn es regnet, die Straße naß ist. Also mußt Du auch akzeptieren, daß die Straße naß wird. Ben: Warum sollte ich das? Anna: Nach der Regel, daß wenn A und A ⊃ B, dann auch B gilt. (γ) Ben: Du akzeptierst also, Wenn es regnet und wenn falls es regnet die Straße naß wird und wenn die Regel γ gilt, dann die Straße naß wird. Anna: Ja klar. Ben: Und wieso? Anna: Das ist ein Fall von: Wenn A und A ⊃ B und A, A ⊃ B ⊢ B, dann gilt auch B. (γ ∗ ) Ben: Du akzeptierst also, Wenn es regnet und wenn falls es regnet die Straße naß wird und wenn die Regel γ gilt, und γ ∗ auch, dann die Straße naß wird. . Dr. Uwe Scheffler 13
Seite 1 und 2: Schließen, Beweisen und Folgern Dr
Seite 3 und 4: Beispiel Gezeigt werden soll: ⊢
Seite 5 und 6: Indirekte Beweise Satz: A 1 , . . .
Seite 7 und 8: Das Deduktionstheorem Satz: ⊢ A 1
Seite 9 und 10: Deduktionstheorem Beweis II Angenom
Seite 11: Beispiele für interessante Regeln
Seite 15 und 16: Warum gelten Regeln? 1. Die ontolog
Seite 17: Die systematische Antwort II ◮ Di

Schließen, Beweisen und Folgern - sodass.net

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?