変域を内包的記法で明示した場合の二重量化

二項述語・2変項命題関数" x loves y"  の二重量化：変域を内包的記法で明示した場合の具体例を作成、アップロード。