総目次：単調関数

総目次の「広義/狭義単調増大/減少関数」へのリンクを、「関数の属性と諸類型」のなかの「1変数関数の増減の説明」から、「単調関数」のページへ、更新。

二項述語・2変項命題関数の二重量化∀x ∃y P(x,y)

二項述語・2変項命題関数の二重量化∀x ∃y P(x,y)の定義・意味・読みを作成、アップロード。

1変数関数、単調関数

1変数関数の属性と諸類型から、単調関数に移動した1変数関数の増減の諸項目を削除。

∃x ∃y P(x,y)

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

狭義単調増加関数・狭義単調減少関数

1変数関数の属性と諸類型。項目が多すぎ。扱いづらい。

1変数関数の増減の説明の項目を、別ページ「単調関数」に分離独立させてみる。

∀x ∀y P(x,y)

二項述語・2変項命題関数の二重普遍量化∀x ∀y P(x,y)の定義・意味・読み

二つの2変数関数と一つの2変数関数との合成関数の微分

二つの2変数関数と一つの2変数関数との合成関数の微分を全面改装。

∀x∈S ∃y∈T P(x,y)

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

二つの1変数関数と一つの2変数関数との合成関数の微分

二つの1変数関数と一つの2変数関数との合成関数の微分をリフォーム。

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

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