2011年7月25日月曜日

n項述語・n変項命題関数の存在量化

n項述語・n変項命題関数の存在量化∃xi P(x1,…xn)のノートを作成、アップロード。