【 44 】論理と集合 「必要条件と十分条件の判定問題」を解いてみる。
読了時間: 約1分58秒
[mathjax]
問題
次の（ ）内にあてはまるものを、下の(ア）～（エ）のうちから一つ選べ。
\( \ x \lt 1 \ \)は\( \ x \leq 1 \ \)となるための（ ）。
（ア） 必要十分条件である
（イ） 必要条件であるが十分条件ではない
（ウ） 十分条件であるが必要条件ではない
（エ） 必要条件でも十分条件でもない
NS判定問題における恩師 沖田一希先生
この「必要条件と十分条件の判定問題」シリーズは、
東進衛星予備校の沖田一希先生との出会いがなかったら実現しませんでした。
以下の記事には、沖田一希先生の御紹介と問題の考え方を示しています。
https://makelemonadejp.com/necessary-or-sufficient-okita解法
主語(N:必要）を考える
主語(N:必要)は、「\( \ x \lt 1 \ \) 」です。
これは、「\( \ x \ \)は\( \ 1 \ \)よりも小さい値である」ということです。
\( \ x \ \)は\( \ 1 \ \)に限りなく近い、\( \ 0.99999999999\cdots \ \)なんて値になる可能性もあるのですが、
どうやっても\( \ 1 \ \)にはなれません。
\( \ x \lt 1 \ \)
これは、「\( \ x \ \)は\( \ 1 \ \)よりも小さい値である」ということです。
\( \ x \ \)は\( \ 1 \ \)に限りなく近い、\( \ 0.99999999999\cdots \ \)なんて値になる可能性もあるのですが、
どうやっても\( \ 1 \ \)にはなれません。
\( \ x \lt 1 \ \)
述語(S:十分）を考える
国語的には、厳密な述語は「○○条件である」の部分ですが、
この述語を修飾（詳しく説明）する「 \( \ x \leq 1 \ \)（ための） 」を
述語(S:十分）としておきます。
\( \ x \ \)は\( \ 1 \ \)以下である。という意味です。
\( \ x \ \)が\( \ 1 \ \)よりも小さい値になることはもちろん、
\( \ 1 \ \)そのものであるという可能性も含んでいます。
この述語を修飾（詳しく説明）する「 \( \ x \leq 1 \ \)（ための） 」を
述語(S:十分）としておきます。
\( \ x \ \)は\( \ 1 \ \)以下である。という意味です。
\( \ x \ \)が\( \ 1 \ \)よりも小さい値になることはもちろん、
\( \ 1 \ \)そのものであるという可能性も含んでいます。
包含関係より判定する
ここで、主語(N:必要）と述語(S:十分）の包含関係を考えてみます。たとえるなら、パーとグーしか出せないじゃんけんをしているようなものです。
パー（紙）は、グー（石）を包み込んでしまいますね。
また、一方が他方を完全にもれなく包み込んでしまう場合のみ、必要条件や十分条件が成り立ちます。
逆にいうと、ひとつでも例外（もれ）があれば、必要条件も十分条件も成り立ちません。
いま、主語(N:必要）の要素に、\( \ 1 \ \)は含まれていませんが、
一方、述語(S:十分）の要素には、\( \ 1 \ \)が含まれています。
すなわち、主語(N:必要）がグー（包み込まれる方）で、述語(S:十分）がパー（包み込む方）だといえます。
これは数学的には、
主語(N:必要）\( \ \subset\ \) 述語(S:十分）と表せます。
よって、答えは、「 （ウ） 十分条件であるが必要条件ではない 」 となります。
一方、述語(S:十分）の要素には、\( \ 1 \ \)が含まれています。
すなわち、主語(N:必要）がグー（包み込まれる方）で、述語(S:十分）がパー（包み込む方）だといえます。
これは数学的には、
主語(N:必要）\( \ \subset\ \) 述語(S:十分）と表せます。
よって、答えは、「 （ウ） 十分条件であるが必要条件ではない 」 となります。
こたえ
（ウ） 十分条件であるが必要条件ではない
2021年現在、必要条件と十分条件の判定問題に関する記事は、 2021年7月23日から2021年9月2日の間で、42記事公開しています。
共有:
プロフィール
Author Profile
