量化子と論理式を組み合わせた書き方
$ \exist x \geqq d [d\neq 1 \land d \neq x \land CanDivide(x,d)] ではなくて$ \exist d \leqq x [d\neq 1 \land d \neq x \land CanDivide(x,d)] な理由のことかな？
色々説明の方法があるけど
定義から説明する
$ \exist d\leqq x[\cdots]\overset{\rm def}{\iff} \exist d[d\leqq x\land\cdots]
意味から説明する
$ \existはすぐ後ろに続く変数にかかる
$ \exist x \geqq dだと$ dではなく$ xにかかってしまう
ちなみに、$ a\leqq {}^\exist x \leqq bという風に書けば、どの変数にかかっている(変数を束縛している)か明確になると思う
こういう書き方をしていた人を見かけたことが一度だけある
駿台の講師
一般的かどうかは不明