(∃x) φx ∙ (∃x) ψx[)|]~(∃x) φx ∙ ψx ⊃ φψ(∃x,y) φx ∙ ψy
Ist das auch eine Anwendung von 1 + 1 = 2?
  Wenn ich hier statt „(∃xy)” „(∃2x)” schreiben will so geht es nicht.