>>666-667
∃dx∃dy が、命題であろうがなかろうが、本質とは無関係
”dx >= dy”という評価式が使える場合の確率0
その遠因は、各∃dx∃dyの存在確率が0になるってこと
それは、当りくじの代表が引けないってことの帰結です >>661の通り