(∃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 beiden Ausdrücke bringt er uns näher?