Beweis durch Widerspruch

Die Idee des Beweises durch Widerspruch besagt, dass die beiden Aussagen

A \neg A \to ⊥

logisch äquivalent sind: Sie haben denselben „Wahrheitsgehalt“.

Ersetzt man $A$ konsistent durch $\neg B$ und kennt man die logische Äquivalenz von $\neg \neg B$ und $B$ , so ergibt sich, dass auch

\neg B B \to ⊥

logisch äquivalent sind, egal wodurch man $B$ ersetzt.