更新履歴。
単調関数から単調数列へリンク。
存在記号∃の呼称・諸用語を更新。
実ベクトルの線型結合(一次結合)の大枠リニューアル。
論理記号一覧を更新。
∃存在記号の改訂。詳細解説ページへのリンク追加。
実ベクトル空間の定義の大枠だけリフォーム。
2項述語の存在量化(変更が動く範囲を明示)をアップロード。
線形部分空間・部分ベクトル空間の定義の大枠だけリフォーム。
一項述語・1変項命題関数を存在量化した存在命題:変更が動く範囲を明示をアップロード。
凸関数の大枠をリフォーム。
二項述語・2変項命題関数" x loves y" の二重量化:変域明示しない場合
をアップロード。