2011年5月27日金曜日

2変項命題関数二重存在量化∃x∈S ∃y∈T P(x,y)

二項述語・2変項命題関数の二重存在量化∃x∈S ∃y∈T P(x,y)の定義・意味・読みについてのノートを作成。アップロード。