高校数学 数学A 論理と集合
1. 命題と論理式
(1) 命題の定義
「真（True）または偽（False）と判定できる文」を命題という。
例：「2＋2＝4」「x≥0」など。
(2) 否定・論理和・論理積
-
否定：命題 \(P\) の否定を \(\neg P\) と書き、\(P\) が偽なら \(\neg P\) は真。
-
論理和（OR）：\(P \lor Q\) → 「\(P\) または \(Q\)」
-
論理積（AND）：\(P \land Q\) → 「\(P\) かつ \(Q\)」
(3) 含意・必要条件・十分条件
-
含意（⇒）：\(P \Rightarrow Q\) → 「\(P\) ならば \(Q\)」
-
\(P\) が成り立つための条件で \(Q\) を「必要条件」、
\(P\) が成り立つことから \(Q\) が成り立つなら「十分条件」。
-
対偶：\(P \Rightarrow Q\) の対偶は \(\neg Q \Rightarrow \neg P\)。命題と対偶は同値。
(4) 等値・真理表
命題同士が常に同じ真偽をとるとき「等値」であり、
\[
( \neg P ) \lor Q \equiv ( P \Rightarrow Q )
\]
といった等価関係がある。 :contentReference[oaicite:0]{index=0}
2. 集合の基本と記号
(1) 集合とは
「要素が属するか属さないかが明確に決まるものの集まり」を集合という。 :contentReference[oaicite:1]{index=1}
(2) 要素・部分集合・空集合・全体集合
-
要素：\(a \in A\) は「\(a\) は集合 \(A\) の要素」。
-
部分集合：\(A \subset B\) または \(A \subseteq B\) → 「集合 \(A\) のすべての要素が集合 \(B\) にも属している」。
-
空集合：元素が何もない集合。記号 \(\emptyset\) または \(\varPhi\)。
-
全体集合：議論対象となるすべての要素を含む集合。よく \(U\) などで表す。
(3) 和集合・共通部分・補集合・差集合
-
和集合（union）：
\[
A \cup B = \{x \mid x \in A \text{ または } x \in B\}
\]
-
共通部分（intersection）：
\[
A \cap B = \{x \mid x \in A \text{ かつ } x \in B\}
\]
-
補集合（complement）：集合 \(A\) の補集合 \(A^c\) は
\[
A^c = \{x \mid x \in U \text{ かつ } x \not\in A\}
\]
\]
-
差集合（difference）：
\[
A - B = \{x \mid x \in A \text{ かつ } x \not\in B\}
\]
3. 集合の法則とベン図
(1) 基本法則
-
交換律：
\[
A \cup B = B \cup A,\quad A \cap B = B \cap A
\]
-
結合法則：
\[
(A \cup B) \cup C = A \cup (B \cup C),\quad
(A \cap B) \cap C = A \cap (B \cap C)
\]
-
分配律：
\[
A \cap (B \cup C) = (A \cap B) \cup (A \cap C)
\]
\[
A \cup (B \cap C) = (A \cup B) \cap (A \cup C)
\]
\]
-
ド・モルガンの法則：
\[
(A \cup B)^c = A^c \cap B^c,\quad
(A \cap B)^c = A^c \cup B^c
\]
\]
(2) ベン図による視覚化
和集合・共通部分・補集合などの関係を Venn 図（ベン図）で視覚的に整理すると理解が深まる。 :contentReference[oaicite:2]{index=2}
4. 命題と集合の結び付き・記号の利用
(1) 全称命題・存在命題
-
全称命題：すべての \(x\in A\) に対して \(P(x)\) が成り立つ
→ \((\forall x \in A)\; P(x)\)
-
存在命題：ある \(x\in A\) があって \(P(x)\) が成り立つ
→ \((\exists x \in A)\; P(x)\)
例：\(\forall x \in \mathbb{N},\; x \ge 0\)。 :contentReference[oaicite:3]{index=3}
(2) 命題と集合の対応（集合としての表現）
条件 \(P(x)\) を満たす要素全体を
\[
\{x \in A \mid P(x)\}
\]
と表し、
それを集合として扱うことで集合演算を用いた議論ができる。
5. 練習すべき記号一覧・注意点
- \(\in\)：要素である
- \(\not\in\)：要素でない
- \(\subseteq\),\;\subset\)：部分集合／真部分集合
- \(\cup\)：和集合
-
\(\cap\)：共通部分
\(\emptyset\)／\(\varPhi\)：空集合
-
\(\Rightarrow\)：含意（命題）
記号がわからないと問題が解けないという指摘があります。 :contentReference[oaicite:4]{index=4}
6. 論理・集合でよく出る問題の型
-
命題の真偽判定：命題 \(P\Rightarrow Q\) の真偽や対偶・逆命題。
-
集合の要素・部分集合の判定：例えば \(A \subset B\) かどうか。
- 集合演算：和集合・共通部分・補集合をベン図や記号で求める。
-
命題と集合の絡み：条件 \(P(x)\) を満たす集合の表現、\(\forall\),\(\exists\) の利用。
-
ド・モルガンの法則・分配律などを使った集合の式の変形。