∃x∈S "x loves y", ∃y∈T "x loves y"

２項述語の存在量化の具体例 ∃x∈S  "x loves y", ∃y∈T  "x loves y"をアップロード。