2011年11月8日火曜日

n項述語・n変項命題関数の全称量化∀xi∈S P(x1,…xn)

n項述語・n変項命題関数の全称量化∀xiS P (x1,…xn)の加筆、更新。