2012年1月15日日曜日

3項述語2重量化∀x∈X ∃y∈Y P(x,y,z)

三項述語の二重量化「∀xXyY P(x,y,z)」を新規作成、アップロード。