皆さん、こんにちは!浦元です。
前回の第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]

コメント