Lösung der 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 ⇒ abs² p)

Laut Voraussetzung folgt: (abs³ p ⇒ abs p)

Wenn abs p gilt, muss es absurd sein, dass abs p absurd ist: (abs p ⇒ abs³ p)

Also ist die Äquivalenz (abs p ⇔ abs³ p) gezeigt.