一変項述語・1変数命題関数の普遍量化の集合表現

一変項述語・1変数命題関数の普遍量化の集合表現 のメンテ了。

命題関数の普遍量化 ∀x P(x)の集合表現
命題関数の否定と量化
全否定「∀x∈Ω ￢P(x)」 「￢ (∃x∈Ω P(x) )」の集合表現　
部分否定の集合表現　
述語・命題関数の普遍量化 ∀x (P(x)⇒Q(x))の集合表現　　
述語・命題関数の普遍量化 ∀x (P(x)⇔Q(x))の集合表現