対偶

条件A,条件Bがあって、命題Pに対して、命題Q を、命題P対偶と言う。
は、それぞれ、条件ABの否定を意味する。

ある学校のあるクラスで生徒にアンケートをとってみたところ次のことがわかりました。アンチ巨人の人はひどい話だと怒るかも知れませんが、あるクラスでの話です。

スポーツの中で野球を一番好きだと答えた生徒が全員、巨人ファンだったのです。

ですが、巨人ファンであっても、サッカーの方が好き、アメフットの方が好き、などという生徒もいました。このとき
(“は、ならばと読んでください)
   命題:野球愛好家である→巨人ファンである
が成立します。ですが、
   命題:巨人ファンである→野球愛好家である
は成立しません。

ついでに言っておくと、「野球愛好家である」という条件を「巨人ファンである」ための十分条件と言います。「野球愛好家である」ことが「巨人ファンである」ことの十分に厳しい条件だと思ってください。
これに対して、「巨人ファンである」という条件を「野球愛好家である」ことの必要条件と言います。「巨人ファンである」ことが「野球ファンである」ことの必要最低限の条件だと思ってください。

話を元に戻して、このクラスでは、
   命題:巨人ファンではない→野球愛好家ではない
が成立します。
この、「巨人ファンではない→野球愛好家ではない」という命題を、「野球愛好家である→巨人ファンである」という命題の、「対偶」と言います。対偶は元の命題の言い換えに過ぎません。

証明問題によっては、問題文に書いてある通りに証明するよりも、対偶を考えた方が証明しやすい場合があります。


   数学基礎事項TOP   数学TOP   CHALLENGE from the VOID   TOPページに戻る

(C)2005, 2006,2007, 2008 (有)りるらる雑誌「大学への数学」購入Newton e-Learning
inserted by FC2 system