indirekter Beweis

Auch Widerspruchsbeweis genannt. Hier versuch man die Gleichwertigkeit von

$$\left(A\Rightarrow B\right)\Leftrightarrow\left(\left(A\wedge\left(\neg B\right)\right)\Rightarrow Falsch\right)$$

auszunutzen.

z.B.: ``Wenn es regnet ist die Straße nass.'' $\Leftrightarrow$ ``Es regnet und die Straße ist nicht nass, ist ein Widerspruch.''