>>568
生の述語論理を扱うか、一度集合にくるんでから使うかの違いか。
どっちもやってることは同じ。

>>569
(分母)=t と置換。