述語論理 集合関係 1. 集合読む 集合 集合の表記 全体集合 空集合 部分集合 集合の相等 ラッセルのパラドクス 解く 演習問題 2. 集合演算読む 集合演算 補集合 共通部分 和集合 差集合 対称差 解く 演習問題 3. 包含関係の性質読む 包含関係は順序関係 包含関係の特徴づけ 共通部分や和集合の特徴づけ 解く 命題の証明 演習問題 4. 相等関係の性質読む 相等関係は同値関係 反射律 ベキ等律 交換律 結合律 分配律 吸収律 ド・モルガンの法則 補集合法則 恒等法則 差集合法則 双対原理 解く 命題の証明 演習問題 5. 集合族読む 集合族 ベキ集合 集合族の共通部分 集合族の和集合 集合族演算の法則 解く 命題の証明 演習問題6. 直積集合読む 集合の直積 有限集合族の直積 可算集合族の直積 一般の集合族の直積 解く 命題の証明 演習問題 述語論理 集合関係
