更新履歴。
一般の数ベクトル空間の次元についてのノートをリフォーム。
二項述語・2変数命題関数の定義についてのノートを更新。
一般の数ベクトルの基底をリフォーム。
一項述語・一変数命題関数についてのノートを更新。
一般の数ベクトルの線形独立/線形従属定義をリフォーム。
N項述語・n変数命題関数についてのノートを更新。
一般の数ベクトルの線形結合・一次結合定義をリフォーム。
二項述語・2変数命題関数の具体例を更新。
論理と集合の目次。若干のリフォーム。二項述語・2変数命題関数の真理集合、n項述語・n変数命題関数の真理集合、ｎ項述語・n変数命題関数の集合表現へのリンクも追加。
二項述語・2変数命題関数の具体例"x loves y"をupload.