集合から論理へ

集合から論理へを作成。まずは、集合の内包、∈を表す述語・命題関数から。