2011年12月20日火曜日

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

二項述語・2変項命題関数" x loves y"  の二重量化:変域明示しない場合
に、ドイツ語読み下し例を追加。