Ja sagt denn eben (Ex).fx V fa = (Ex).fx nicht, dass fa schon in (Ex).fx enthalten ist? Zeigt es nicht die Abhängigkeit des fa vom (Ex).fx? Nein, ausser, wenn (Ex).fx als logische Summe definiert ist (mit einem Summanden fa). – Ist das der Fall, so ist (Ex).fx (nichts als) eine Abkürzung.

\