(∃x) ∙ x² = 2x
   (x) x² ≠ 2x
Diese beiden sollen einander ausschließen
~(∃x) ∙ x = ‒
1
x

   (x) ∙ x ≠ ‒
1
x

Diese beiden sollen dasselbe sagen.
Worin besteht ihr Beweis & welchem der Be beiden Ausdrücke bringt er uns näher?