命題の否定とド・モルガンの法則を正しく理解する｜全称命題と存在命題の否定の考え方

数学や論理学では、「ある条件を満たすものが存在する」という命題と「すべてのものが条件を満たす」という命題の否定を正しく扱うことが重要です。特に、存在記号（∃）と全称記号（∀）が登場すると、ド・モルガンの法則の使い方を間違えやすくなります。

この記事では、命題の否定の基本から、「ある素数xについてxは偶数である」という命題を例にして、どこで考え方がずれるのかをわかりやすく解説します。

「P(x)ならばQ(x)」の否定はどのように考えるか

まず、「P(x)のとき、Q(x)である」という命題は、論理記号では「P(x)⇒Q(x)」と表せます。

この命題が否定されるということは、「P(x)なのにQ(x)ではない場合が存在する」という意味になります。

つまり、否定は「P(x)を満たすxがあり、そのxについてQ(x)が成り立たない」という形になります。これは「反例が存在する」と考えると理解しやすくなります。

論理学では、存在命題と全称命題は次のような関係になります。

「あるxについてP(x)が成り立つ」という存在命題は、記号では「∃x P(x)」と表します。この否定は、「すべてのxについてP(x)ではない」となります。

式で書くと、¬(∃x P(x))は「∀x ¬P(x)」になります。逆に、「すべてのxについてP(x)である」という命題の否定は、「P(x)ではないxが存在する」です。

問題の命題を整理すると、「ある素数xについて、xは偶数である」という意味になります。

これは論理記号では「∃x（xは素数 ∧ xは偶数）」と表せます。

素数の中で偶数なのは2だけなので、この命題は実際には「2という素数が存在し、それは偶数である」と言っていることになります。

存在命題の否定は、「そのようなものは一つも存在しない」という意味になります。

つまり、「偶数である素数が存在する」の否定は、「偶数である素数は存在しない」です。

素数について考えているので、「偶数である素数が存在しない」とは、「すべての素数は偶数ではない」ということです。偶数ではない整数は奇数なので、「すべての素数xについて、xは奇数である」となります。

質問の中で混乱している部分は、「素数を一つずつ並べて、それぞれについて条件を考える」という部分です。

例えば、「x=2ならばxは偶数」「x=3ならばxは偶数」というように分解して考えたくなりますが、これは存在命題の構造を正しく表していません。

「ある素数xが存在して、そのxが偶数」という命題は、「すべての素数について条件を確認する」というものではなく、「少なくとも一つ条件を満たす素数がある」という意味です。

数学では、対象が無限に存在する場合でも、論理記号を使って全体をまとめて扱います。

例えば、「すべての自然数は0以上である」は∀を使った全称命題であり、「ある自然数は10より大きい」は∃を使った存在命題です。

この2つを否定するときは、単純に文章を反対にするのではなく、「すべて」と「ある」を入れ替える必要があります。

命題の否定では、存在命題「あるxが存在する」の否定は「すべてのxで成り立たない」になり、全称命題「すべてのxで成り立つ」の否定は「成り立たないxが存在する」になります。

「ある素数xについてxは偶数である」という命題は、「偶数の素数が存在する」という意味なので、その否定は「偶数の素数は存在しない」となります。

論理の問題では、具体的な数を並べて考えるよりも、まず「∃なのか∀なのか」を確認し、その否定では記号がどのように変化するかを意識すると、混乱を防ぐことができます。