集合と命題¶
数学の言葉づかいを整える単元です。条件を集合に翻訳するという1つの型を身につければ、必要条件・十分条件も、逆・裏・対偶も、すべてベン図の問題として処理できます。
この単元で学ぶこと¶
| ページ | 学べること |
|---|---|
| 1. 集合と要素 | \(\in\) と \(\subset\)、部分集合、共通部分・和集合・補集合、ド・モルガン、要素の個数 |
| 2. 命題と条件 | 命題と条件のちがい、真理集合、反例、否定、「すべて」と「ある」 |
| 3. 必要条件と十分条件 | 矢印の向きと呼び名、集合の大小による判定 |
| 4. 逆・裏・対偶と証明 | 逆・裏・対偶の作り方、対偶証明、背理法 |
動かして学ぶ¶
- 集合と命題ラボ — 3つのモードで、集合の演算・必要十分の判定・逆裏対偶の真偽を確かめられます
| モード | 見えること |
|---|---|
| 集合の演算 | \(A \cap B\)、\(A \cup B\)、補集合がベン図のどこかを色で確認。ド・モルガンの一致も並べて表示 |
| 必要・十分 | \(P\) が \(Q\) からはみ出した要素（＝反例）が赤く表示され、呼び名まで判定 |
| 逆・裏・対偶 | 4つの命題の真偽と反例を表で比較。もとの命題と対偶がつねに一致 |
つまずきやすいポイント¶
この単元でよく出る失敗
- \(\in\) と \(\subset\) の混同：要素と集合の関係が \(\in\)、集合どうしが \(\subset\)。
- 「または」を片方だけと読む：数学の \(A \cup B\) は両方に入るものも含みます。
- \(x>3\) の否定を \(x<3\) とする：正しくは \(x \leqq 3\)。等号を落とさない。
- 必要と十分が逆になる：矢印の先が必要、根元が十分。集合が小さいほうが十分条件。
- 逆が真だと思い込む：もとの命題が真でも、逆は別の命題です。