>>320
>>316

http://www.math.h.kyoto-u.ac.jp/~takasaki/edu/logic/logic1.html >>237

http://www.math.h.kyoto-u.ac.jp/~takasaki/edu/logic/logic2.html
II. 数学的準備

集合は数学の基本的な言葉である．記号論理学で論理式自体を 扱っているときには集合の言葉はあまり使わないが，論理式に 意味を与えるときにはさまざまな集合，集合間の写像，集合の 要素間の関係，などを考えなければならない．以下では集合に まつわる基本的な概念を説明し，最後に，記号論理学と深い関係 をもつ「ブール代数」の概念を紹介する．
目次

1. 集合
2. 写像
3. 関係
4. ブール代数