Schließen, Beweisen und Folgern - sodass.net

Weitere Magazine

Empfehlungen

Info

<strong>Beweisen</strong> Der Beweis einer Formel A ist die Ableitung dieser Formel aus einer leeren Annahmenmenge: ⊢ A = dfn ∅ ⊢ A oder in A 1 , . . . , A n ⊢ A ist n = 0 Ein Theorem ist eine bewiesene Formel. Dr. Uwe Scheffler 2
Beispiel Gezeigt werden soll: ⊢ ∼P(a) ⊃ ∼(P(a) ∧ Q(a)) 1. {1} ∼P(a) HypE ⊃ 2. {2} P(a) ∧ Q(a) HypE ∼ 3. {2} P(a) B ∧ 2 4. {1} ∼(P(a) ∧ Q(a)) E ∼1, 2, 3 5. ∅ ∼P(a) ⊃ ∼(P(a) ∧ Q(a)) E ⊃ 1, 4 Gezeigt werden soll: ⊢ ∼Q(a) ⊃ ∼(P(a) ∧ Q(a)) 1. {1} ∼Q(a) HypE ⊃ 2. {2} P(a) ∧ Q(a) HypE ∼ 3. {2} Q(a) B ∧ 2 4. {1} ∼(P(a) ∧ Q(a)) E ∼1, 2, 3 5. ∅ ∼Q(a) ⊃ ∼(P(a) ∧ Q(a)) E ⊃ 1, 4 Dr. Uwe Scheffler 3
Seite 1: Schließen, Beweisen und Folgern Dr
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 und 12: Beispiele für interessante Regeln
Seite 13 und 14: Achilles und die Schildkröte Anna:
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?