Kontraposition

Hier wird versucht die Aussage umzudrehen (beruht auf Tautologie).

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

z.B.: ``Wenn es Regnet ist die Straße nass.'' $\Leftrightarrow$ ``Wenn die Straße nicht nass ist, kann es nicht geregnet haben.''