(∃x) x² = 2x und (x) ∙ x² ≠ 2x schließen einander wirklich aus || sind wirklich Gegensätze. Das heißt (∃x) x² = 2x und ~(x) ∙ x² ≠ 2x sagen dasselbe || das Gleiche. Sie werden beide durch den gleichen Sachverhalt wahr gemacht d.h. es entspricht ihnen der selbe Beweis.