Ja sagt denn eben (∃x)fx ⌵ fa = (∃x)fx nicht, daß fa schon in (∃x)fx enthalten ist? Zeigt es eben nicht die Abhängigkeit des fa von (∃x)fx? Nein, außer wenn (∃x)fx als logische Summe definiert ist (mit einem Summanden fa). – Ist das der Fall, so ist (∃x)fx weiter nichts als || nur eine Abkürzung.