集合から論理

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