Die Kontraposition lesen

$P\Rightarrow Q$ und $\neg Q\Rightarrow\neg P$ sind logisch gleichwertig. Voraussetzung und Behauptung werden vertauscht und beide verneint.

„Das Quadrat ist gerade“ lässt sich schwer zerlegen; „die Zahl ist ungerade“ liefert sofort $2k+1$ – wähle die informativere Richtung.

De Morgan: Die Verneinung von „$a$ und $b$ sind ungerade“ lautet „$a$ ist gerade oder $b$ ist gerade“.