Für (Ex).fx, etc. brauchen wir auch die Regeln:
            (Ex). fx V Fx = (Ex).fx . V . (Ex).Fx,
(Ex,y). fx & Fy . V . (Ex).fx . & . Fx = (Ex).fx . & . (Ex).Fx.
Jede solche Regel ist ein Ausdruck der Analogie zwischen (Ex).fx und einer logischen Summe.