2012年4月19日木曜日

一項述語・1変項命題関数の全称量化∀x∈S P(x)

一項述語・1変項命題関数の全称量化∀x∈S P(x)
議論領域を表す記号X,Ω混在を解消。(Ωに統一)