Mathematisches Institut der LMU Nils K¨opp, Helmut Schwichtenberg
Sommersemester 2021 ueb01
Ubungen zur Vorlesung¨ ”Logik II“
Aufgabe 1. Geben Sie Herleitungen an f¨ur (A→B)→ ¬B → ¬A,
¬(A→B)→ ¬B.
Aufgabe 2. Geben Sie Herleitungen an f¨ur
¬¬(A→B)→ ¬¬A→ ¬¬B,
(⊥ →B)→(¬¬A→ ¬¬B)→ ¬¬(A→B),
¬¬∀xA→ ∀x¬¬A.
Aufgabe 3. Zeigen Sie, daß die Einf¨uhrungs- und Beseitigungsaxiome f¨ur die Disjunktion
∨+0 :A→A∨B,
∨+1 :B →A∨B,
∨−:A∨B →(A→C)→(B →C)→C
¨
aquivalent sind zu den Regeln
|M A ∨+0 A∨B
|M B ∨+1 A∨B
|M A∨B
[u:A]
|N C
[v:B]
|K C ∨−u, v C
Abgabe. Mittwoch, 28. April 2021.
