二項述語・2変項命題関数" x loves y" の二重量化

二項述語・2変項命題関数" x loves y"  の二重量化：変域明示しない場合

をアップロード。