集合から論理へ

集合から論理へに、積集合∩の内包、和集合∪の内包、補集合の内包を追加。