Ich habe gerade Logik im Studium und möchte wissen, ob ich die Aufgabe richtig gelöst habe. 

Teilsätze: 

A: Logik ist zu langweilig. 

B: Logik ist zu schwierig. 

C: Logik ist ein Teil der Mathematik. 

D: Logik ist ein Teil der Philosophie. 

Formalisierung: 

(1) A v B

(2) A→ C

3) B → D

        4) C v D

0.  ((A∨B)∧(A→C)∧(B→D))→(C∨D)

1. ~(((A∨B)∧(A→C)∧(B→D))→(C∨D))

2. ((A∨B)∧(A→C)∧(B→D)) Aus 1

3. ~(C∨D) Aus 1

4. ~C Aus 3

5. ~D Aus 3

6. A∨B Aus 2

7. A→C Aus 2

8. B→D Aus 2

        /    \

9.  A    B Aus 6

                     /    \

10. ~A   C Aus 6

        /     \

        11. ~B   D      Aus 8