In dem Zeichen (∃2)
x ∙ φx muß es schon
liegen daß die
beiden Werte von x in ein Produkt
φx ∙ φy
eingesetzt werden sollen.
Ebenso ist es mit einem Zeichen (∃5)
xaRxRb – nur daß hier
das Zeichen aRxRb eigens für
den || diesen Zweck
eingeführt wurde während man es dem Zeichen
φx in
(∃2)
xφx nicht ansieht daß im
zerlegten
Satz statt „φx” „φx ∙ φy”
steht.