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