2011年5月15日日曜日

存在命題:1変数命題関数の存在量化

一項述語・1変項命題関数を存在量化した存在命題「∃x P(x)」についてのノートを作成・アップロード。