2011年12月1日木曜日

二項述語二重量化∀x ∃y P(x,y)

二項述語・2変項命題関数の二重量化∀x ∃y P(x,y)の定義・意味・読み
冒頭に要旨。一部加筆修正。

数ベクトルの線形独立/線形従属定義

一般の数ベクトルの線形独立/線形従属定義をメンテ。
一般の数ベクトル空間定義をメンテ。
二つの2変数関数と一つの2変数関数との合成関数の微分
 二つの1変数関数と一つの2変数関数との合成関数の微分
メンテ。

5項述語4重量化∃x1∈X1 ∀x2∈X2 ∃x3∈X3 ∀x4∈X4

5項述語・5変項命題関数の4重量化∃x1∈X1 ∀x2∈X2 ∃x3∈X3 ∀x4∈X4 P(x1, x2, x3, x4, x5)の定義・意味・読みを作成。アップロード。