集合から論理へ:「集合の内包」「∈の述語・命題関数による表現」

集合から論理へ:「集合の内包」「∈の述語・命題関数による表現」をメンテ完了。