実数の加法乗法をからめた性質

実数の加法乗法をからめた性質についてのノートのリンク切れを修正。

更新：実数の定義

実数体・実数の定義のノートのリンク切れに対応。

全称命題の集合表現

論理から集合へに、全称命題の集合表現を追加。

具体的には、

1. 一項述語・1変数命題関数の全称量化（全称命題）∀x P(x)の集合表現
2. 全否定の命題をあらわす集合
3. 述語・命題関数の普遍量化 ∀x (P(x)⇒Q(x))の集合表現
4. 述語・命題関数の普遍量化 ∀x (P(x)⇔Q(x))の集合表現

述語を否定・論理積・論理和・含意・同値で組み合わせたものの真理集合・集合表現

論理から集合へに、下記を追加。

命題関数「P(x)でない」の真理集合 
命題関数「P(x)かつQ(x)」の真理集合
命題関数P(x)またはQ(x)の真理集合
命題関数「P(x)ならばQ(x)」の真理集合
命題関数P(x)⇔Q(x)の真理集合
命題関数 ￢P(x)の集合表現
命題関数P(x)∧Q(x)の集合表現
命題関数P(x)∨Q(x)の集合表現

真理集合、述語・命題関数の集合表現

集合と一項述語(1変数命題関数)とのリンクを記すノートを、

論理から集合へに衣替え。

今日は以下の二項目のみアップロード。

1. 命題関数P(x)の真理集合
2. 命題関数P(x)の集合表現

集合 更新

集合の基本概念－定義と記号を更新。集合から論理へとのあいだにリンク敷設。

集合から論理

集合から論理へを更新。これで、集合から論理への体裁だけは揃う。次は、論理から集合へ。