二項述語二重量化の具体例：変域を外延的に明示した場合

二項述語・2変項命題関数" x loves y"  の二重量化：変域を外延的に明示した場合の具体例をアップロード。

 

* featuring Perfume. Perfume New Single 発売を記念して。