全称命題の集合表現

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

具体的には、

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