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