【第2章 実数と一次不等式】第2節:命題と証明① ── 命題の「真・偽」は主語と述語の図で決まる!

皆さん、こんにちは!浦元です。
前回の第1節の総仕上げ、不等式と数直線のマスターはお見事でした!

今日から新しいセクション「命題と証明(めいだいとしょうめい)」に入ります。
数学における「正しい論理の進め方」を学ぶ、とても知的な分野です。
記号や言葉の定義に迷いそうになったときこそ、あの最高の心構えを思い出してください。

「問題の内容を表す図を描きなさい。
図が解き方を教えてくれます」

命題の正しさ(真・偽)も、頭の中だけでこねくり回さず、前節で学んだ「集合の図(部屋の包含関係)」を描いてじっと観察すれば、一瞬で見抜くことができます!


Ⅰ. 命題とは? そして「真」と「偽」

正しいか正しくないかが、客観的にピシッと決まる主張のことを数学では「命題(めいだい)」といいます。
そして、その主張が、

  • 正しいとき: 「真(しん)」 という
  • 正しくないとき: 「偽(ぎ)」 という

基本的には「 \(p \longrightarrow q\) ( \(p\) ならば \(q\) )」という形で登場します。
ここで、\(p\) を「条件(主語)」、\(q\) を「結論(述語)」と呼びます。


💡 浦元流の極意:「主語が述語の部屋に包まれているか」を観察せよ

命題 \(p \longrightarrow q\) の真偽を見抜く最大の戦略は、それぞれの条件を満たす「要素の部屋(集合)」を描くことです。

【真・偽の境界線】

「真」になるとき:
主語 \(p\) の部屋が、結論 \(q\) の部屋の中にすっぽりと完全に包み込まれている図になるとき。

「偽」になるとき:
主語 \(p\) の部屋が、結論 \(q\) の部屋からはみ出してしまうとき。このはみ出た要素のことを「反例(はんれい)」と呼びます。


🌟 実際の命題を観察してみよう!

【例題】 次の命題の真偽を調べなさい。
「 \(x\) は 4 の正の倍数    \(\longrightarrow\)    \(x\) は 2 の正の倍数 」

【思考のプロセス(観察)】
それぞれの条件の部屋のメンバーを書き並べて、図をイメージします。
・主語 \(p\) (4の倍数): \(\{4 , 8 , 12 , 16 , …\}\)
・結論 \(q\) (2の倍数): \(\{2 , 4 , 6 , 8 , 10 , 12 , …\}\)

図を描いてみると、4の倍数のメンバーは全員、もれなく2の倍数の大きな部屋の中にすっぽりと包まれていますね!


【解答】
主語が結論に完全に含まれるため、この命題は 「真」 です。   ── (答)


🌟 本日の腕試しコーナー(罠に注意!)

主語と結論をひっくり返すとどうなるか、図を描いてはみ出る奴(反例)がいないか観察してください。

【問題】 次の命題の真偽を調べなさい。偽の場合は反例もあげなさい。

「 \(x^2 = 9\)    \(\longrightarrow\)    \(x = 3\) 」

✅ 解答はこちら(クリックで開きます)

それぞれの条件の部屋のメンバーを観察します。
・主語( \(x^2 = 9\) になる数): \(\{3 , -3\}\)   (2乗して9になるのは2つありますね!)
・結論( \(x = 3\) になる数): \(\{3\}\)

図を描くと、主語の部屋にいる \(-3\) が、結論の部屋( \(3\) だけの部屋)からはみ出してしまいます!
すっぽり包まれていないので、答えは次のようになります。

【解答】
「偽」 である。 (反例: \(x = -3\) )   ── (答)


🎯 今日のまとめ

「命題の真偽を考えるときは、言葉のニュアンスだけで判断しない。
『主語の部屋が、結論の部屋にすっぽり包まれているか?』を図で観察し、はみ出た『反例』を探す。

この「はみ出し者をチェックする目」を持つことが、数学的な論理ミスをゼロにする最強の防壁になりますよ!

[iconbox title=”次回の予告” icon=”bulb”]
次回の木曜日は、命題の重要キーワードである
「必要条件」と「十分条件」のパズルを、矢印の図を使って一瞬で見抜く極意を伝授します!お楽しみに!
[/iconbox]

コメント

タイトルとURLをコピーしました