「x²＝4ならばx＝2は偽なのに、x＝2ならばx²＝4は真になるのはなぜか」という疑問は、数学の「条件命題」と「真偽の定義」を正しく理解すると整理できます。本記事では論理の仕組みを丁寧に解説します。
まず前提：x²＝4の解は1つではない
x²＝4を満たす値はx＝2だけではなく、x＝−2も含まれます。
つまり「x²＝4」という条件は、複数の解を持つ命題です。
この点を押さえることが論理理解の出発点になります。
「ならば」の意味は1対1の対応ではない
数学の「AならばB」は、Aを満たすすべてのケースでBが成り立つかどうかを判定します。
つまり「一部でも反例があれば偽」になります。
ここで重要なのは、対応関係が一方向であるという点です。
x²＝4ならばx＝2が偽になる理由
x²＝4を満たすxには−2も含まれるため、「x＝2だけ」と限定すると条件を満たしきれていません。
反例としてx＝−2が存在するため、この命題は偽になります。
条件側（x²＝4）を満たす全体をカバーできていない点がポイントです。
x＝2ならばx²＝4が真になる理由
x＝2を満たす場合、その値を代入すると必ずx²＝4が成立します。
他の値（−2など）はそもそも前提条件x＝2を満たさないため関係ありません。
「すべてのx＝2のとき」に対して成り立つため、この命題は真になります。
なぜ一部の真でも全体が真になるのか
条件命題では「前件を満たすすべての場合に後件が成立するか」が基準です。
対象が1つでも条件を満たすなら、そのケースで後件が成り立てば真になります。
重要なのは“すべてのケース”であり、“一部の例外の有無”ではありません。
まとめ
「ならば」の真偽は、前件を満たすすべてのケースで後件が成立するかで決まります。
x²＝4は解が複数あるため限定が必要で、x＝2との単純な対応は成り立ちません。
一方でx＝2からx²＝4は常に成立するため真となる、という論理構造になっています。
コメント