Passen Sie die gelösten Übungen an Ihr Fach an. Kostenlos registrieren
Lösen Sie die folgenden Übungen mit der von Gentzen vorgeschlagenen Methode der natürlichen Deduktion für Aussagenlogik unter Anwendung der abgeleiteten Inferenzregeln, die in der Beweistheorie dargestellt werden:
STUFE 1
| [Übung 7] | [Übung 8] | ||
-1. ¬p → ¬q |
⊦p | -1. p → q ∧r | ⊦¬p |
| -2. q | -2. ¬q ∨ ¬r | ||
| 3. q → p | Contr 1 | ||
| 4. p | E→1 | ||
STUFE 2
| [Übung 9] | [Übung 10] | ||
-1. p ∨ q |
⊦¬t | -1. (p ∨ q) → r ∨ ¬(s → t) | ⊦¬p ∧¬q |
| -2. t → ¬p | -2. ¬(s ∨ t) ∧ ¬r | ||
| -3. ¬(q ∨ r) | 3. ¬(svt) | E^2 | |
| 4. ¬r | E^2 | ||
| 5. ¬s ∧ ¬t | DM v/^3 | ||
| 6. ¬s | E^5 | ||
| 7. ¬s ∨ t | Iv 6 | ||
| 8. s→t | Def v/→7 | ||
| 9. ¬r ∧ (s→t) | I^4, 8 | ||
| 10.¬(r ∨ ¬s→t) | Def ^/v 9 | ||
| 11. ¬(p ∨ q) | MT 1, 10 | ||
| 12. ¬p ∧¬q | DM ^/v 11 | ||
STUFE 3
| [Übung 11] | [Übung 12] | ||
-1. p ∨ q ↔ r ∨ s |
⊦¬p ∨ ¬q | ⊦(p ∧ q → r) ↔(p ∧ ¬r → ¬q) | |
| -2. ¬( m ∧¬n) | |||
| -3. w ∨ n | |||
| -4. ( r→ t) → u ∧ (w → m) | |||
| -5. ¬(n ∨ ¬t) | |||
| 6. ¬n ∧ t | DM ^/v 5 | ||
| 7. ¬n | E^6 | ||
| 8. ¬m ∨ n | DM v/^ 2 | ||
| 9. ¬m | SD 7,8 | ||
| 10. t | E^6 | ||
| 11. r→t | Crpr 10 | ||
| 12. u∧(w → m) | E→4, 11 | ||
13. w → m |
E^12 | ||
| 14. w | SD 3, 7 | ||
| 15. m | E→13, 14 | ||
| 16. m ∧¬m | I^ 9, 15 | ||
| 17. ¬p ∨ ¬q | EXQ 16 | ||