| Denksportaufgabe zur intuitionistischen Logik | Seite 2 von 2 |  zurück |
letzte Seite |
Lösung
Die Voraussetzung "Absurdes folgt nur aus Absurdem" lautet formal:
(p => q) => (abs q => abs p)
Wenn p gilt, muss es absurd sein, dass p absurd ist: (p => abs2 p)
Laut Voraussetzung folgt: (abs3 p => abs p)
Wenn abs p gilt, muss es absurd sein, dass abs p absurd ist: (abs p => abs3 p)
Also ist die Äquivalenz (abs p <=> abs3 p) gezeigt.
Literatur
- Oskar Becker: Mathematische Existenz (1927), S. 339