全員か、それとも少なくとも一人か。
一つの数についての主張は簡単に判断できる — しかし数学はほとんどの場合、集合全体について語る：すべての素数、ある実数、すべての三角形。この重要な役割を担うのが、二つの小さな言葉だ。すべてのxについて — 記号 ∀ — は、その性質が集合のすべての要素に成り立つことを言う。xが存在して — 記号 ∃ — は、少なくとも一つに成り立つことを言う。両者は崩れ方が正反対だ：全称の主張は反例が一つ見つかった瞬間に崩れ、存在の主張は証人が一つ見つかった瞬間に確立する。そしてどちらも必ず定義域 M に結びついている — 集合を変えると、同じ文が真から偽に変わることもある。
集合 M のすべての x に対して性質 p(x) が成り立つことを言うとき、次のように書く。
∀x∈M, p(x) — 読み方：「M のすべての x について、p(x) が成り立つ。」
記号 ∀ は A（All の頭文字）を上下反転したものだ。これは集合全体への約束：例外は一切許されない。「すべての整数は偶数か奇数のどちらかだ」は ∀n∈ℤ、n は偶数または奇数。「すべての平方数は非負だ」は ∀x∈ℝ、x² ≥ 0。M の役割は、何について話しているかを明示することだ — 省略すると主張が曖昧になる。
∀x∈M, p(x) は一つの真偽値を持つ文だ。x∈M のすべての要素に対して p(x) が同時に成り立つときだけ 真 になる — 一つでも失敗すれば文全体が 偽 になる。
M の少なくとも一つの x に対して性質が成り立つことを言うとき、次のように書く。
∃x∈M, p(x) — 読み方：「p(x) となる x が M の中に存在する。」
記号 ∃ は E（Exists の頭文字）を左右反転したものだ。これははるかに弱い約束：全部を確認する必要はない — 一つ見つければよい。「2乗して2になる実数がある」は ∃x∈ℝ、x² = 2 であり、唯一の証人 √2 がこれを 真 と確定させる。「素数かつ偶数の自然数がある」は ∃n∈ℕ、n は素数かつ偶数 — 唯一の証人 n = 2 でこれは 真 になる。一つの誠実な証人を示すこと — それが仕事のすべてだ。
日常会話では「ある」は「全部ではない」を示唆することがある。しかし数学では ある は正確に少なくとも一つを意味する — 「ちょうど一つ」でも「全部ではない」でもない。「偶数の整数がある」は真であり、「すべての整数が…」は別の文として独立に判断する。
∀ はすべての円が緑である必要がある；∃ は一つだけでよい。読み取り欄に証人または反例が表示される。
この非対称性を一言で言えばこうだ。全称はすべての場合を乗り越えなければならないので、一つの反例 — p(x) が成り立たない x が一つあるだけで崩れる。存在は一度だけ成功すればよいので、一つの証人 — p(x) が成り立つ x が一つあれば証明できる。
| 文 | 真になる条件 | 偽になる条件 |
|---|---|---|
| ∀x∈M, p(x) | すべての x が成立 | 反例が一つ |
| ∃x∈M, p(x) | 証人が一つ | すべての x が不成立 |
∀x∈ℕ, x² ≥ x は真か？小さい値で確認する：0²=0 ≥ 0 ✓、1²=1 ≥ 1 ✓、2²=4 ≥ 2 ✓。x ≥ 1 の整数なら x² = x·x ≥ x·1 = x、x = 0 なら 0 ≥ 0。x∈ℕ のどれも反例にならないので、全称は 真 だ。
では ∃x∈ℝ, x² = −1 は真か？実数の平方は決して負にならないので、実数の証人は存在しない — すべての x が失敗する — よって存在命題は 偽。（複素数上では真になる；定義域が決める。）
p(x): x² ≥ x はそのまま。M を切り替えると全称の真偽が変わる。
日本語から記号への変換は、どの量化子が使われているかを見抜き、定義域を明示することがほとんどだ。「すべての…」／「各…」／「どの…も」は ∀ のサイン；「ある…が」／「少なくとも一つの…」は ∃ のサイン。そして M を固定する — まったく同じ性質でも、ある定義域では真、別の定義域では偽になることがある。
| 日本語 | 記号 | 真偽 |
|---|---|---|
| すべての自然数 x は x² ≥ x を満たす | ∀x∈ℕ, x² ≥ x | 真 |
| すべての実数 x は x² ≥ x を満たす | ∀x∈ℝ, x² ≥ x | 偽 (x = ½) |
ℕ では主張が成り立つ；ℝ では分数 x = ½ が ¼ を与え、それは ½ より小さい — 明快な反例だ。同じ言葉、逆の真偽 — だから M を明記しない「∀x」は不完全なのだ。この精密さこそ、微積分（Stage 36、極限）の定義を曖昧さのないものにする習慣だ。
性質は集合を切り出す：P = {x∈M : p(x)}。すると ∀x∈M, p(x) は P が M 全体を満たす ことを言い、∃x∈M, p(x) は P が空でない ことを言う。Stage 19 · 集合 の集合の図と同じアイデアが、違う衣をまとっているだけだ。
各文は明示された定義域で検証される；判定は計算され、推測ではない。
| 記号 | 読み方 | 真になる条件 | 偽になる条件 | 決着をつけるもの |
|---|---|---|---|---|
| ∀x∈M, p(x) | M のすべての x について p(x) | すべての x が成立 | 一つの x が不成立 | 反例 |
| ∃x∈M, p(x) | p(x) となる x が M に存在する | 一つの x が成立 | すべての x が不成立 | 証人 |
常に定義域 M を明示する — M を変えると真偽が変わることがある。「ある」は少なくとも一つを意味し、「ちょうど一つ」でも「全部ではない」でもない。次の 35.4 · 否定 では、これらを裏返す：「すべてが正」の否定は「あるものが正でない」であって、「すべてが負」ではない。
定義域を明示して記号に変換せよ：「すべての自然数は 0 以上だ。」
∀n∈ℕ, n ≥ 0。「すべての」は ∀ のサイン；定義域は ℕ。真 — 自然数に負のものはなく、反例は存在しない。
真偽を答え、理由を述べよ：∃x∈ℝ, x + 5 = 5。
真。証人が一つあればよく、x = 0 が成立する：0 + 5 = 5。一つの証人で存在命題は確定する。
判定せよ：∀x∈ℝ, x² > 0。偽なら反例を示せ。
偽。反例は x = 0 で、0² = 0 は 0 より大きくない。一つの反例で全称は崩れる。（なお ∀x∈ℝ, x² ≥ 0 は 真 だ。）
同じ性質 p(x)：x は偶数。M = {2, 4, 6} のとき ∀x∈M, p(x) は真か？M = {2, 3, 4} のときは？
{2, 4, 6} では：真 — 三つとも偶数。{2, 3, 4} では：偽 — 反例は x = 3。同じ言葉、違う定義域、逆の真偽。
ある生徒が言った：「偶数の素数があるから、すべての素数が奇数ではない — でも『ある』は本当にちょうど一つのそういう素数があることを意味する。」正しい部分と間違っている部分はどこか？
証人 x = 2 は「∃ 偶数の素数」を 真 にし、その一つの証人が「すべての素数は奇数」を否定することは正しい。しかし「ある」は少なくとも一つを意味するだけで、ちょうど一つという主張ではない。（たまたまここでは偶数の素数がちょうど一つだが、「ある」はそれを主張しない。）
変換して判定せよ：「自分自身より小さい平方数を持つ実数がある。」
∃x∈ℝ, x² < x。これは 真：証人 x = ½ は ¼ を与え、½ より小さい。一つの証人で十分だ。
6問で定着させよう。正しいと思う答えをタップしてね。
このレッスンでは、全称量詞（∀）と存在量詞（∃）を導入し、全称は一つの反例で否定され、存在は一つの証人で証明されるという考え方、そして主張が定まった真偽値を持つために定義域 M を明示する習慣を学びます。これは MP3（筋道立てた議論の構成と批判的検討）と MP6（精密さへの注意）を強化し、HSF（関数）や HSA（代数）の標準で暗黙に頼られている精密な定義の言語的基盤を築きます。家庭での確認として、「すべての平方数は偶数」を崩す反例を一つ挙げてもらい、続けて「奇数の平方数がある」を証明する証人を一つ挙げてもらうとよいでしょう。