3

1. 命題と論理

中島匠一「集合・写像・論理」第 5 章から

P Q R S

1 1 0 1

1 0 0 0

0 1 1 0

0 0 0 1

4

中島匠一「集合・写像・論理」第６章から

2. 集合

中島匠一「集合・写像・論理」第６章から

松坂和夫「集合・位相入門」第 1 章より

5

3. 集合の演算

松坂和夫「集合・位相入門」第 1 章より

6

4. 写像

松坂和夫「集合・位相入門」第 1 章より

7

5. 同値関係

松坂和夫「集合・位相入門」第 1 章より

8

６. 有限集合 7. 濃度

中島匠一「集合・写像・論理」第 7 章から

問題 7.5. 集合 𝐴,𝐵 について 𝐵 ⊂ 𝐴 が成り立つとする. このとき, 𝐵 が高々可算集合で

𝐴 − 𝐵 が無限集合なら, 𝐴 − 𝐵 と 𝐴 の濃度が等しいことを証明せよ.

問題 7.6. 任意の自然数 n について集合 𝐴𝑛 が可算集合なら, 和集合 ⋃ 𝐴𝑛∞𝑛=1 も可算集合

であることを証明せよ.

松坂和夫「集合・位相入門」第 2 章より

9

8. 濃度の算法

松坂和夫「集合・位相入門」第 2 章より

1. (3.1)-(3.9) をたしかめよ.

今後の予定

6 月 26 日（火）休講

7 月 17 日（火）休講

7 月 24 日（火）休講

7 月 31 日（火）試験

10

9. 整列集合

中島匠一「集合・写像・論理」第 7 章から

松坂和夫「集合・位相入門」第 3 章より