問題1は、自然数 $m$ に関する条件が、別の条件を満たすための必要条件、十分条件、必要十分条件のどれに当てはまるかを問う問題です。 問題2は、命題「$a+b$ は無理数 $\Rightarrow a, b$ の少なくとも一方は無理数」の対偶を述べ、その真偽を判定する問題です。
2025/7/2
1. 問題の内容
問題1は、自然数 に関する条件が、別の条件を満たすための必要条件、十分条件、必要十分条件のどれに当てはまるかを問う問題です。
問題2は、命題「 は無理数 の少なくとも一方は無理数」の対偶を述べ、その真偽を判定する問題です。
2. 解き方の手順
問題1
(1) が6で割り切れる は2で割り切れる。
これは真です。 (kは整数)ならば、 となり、は2で割り切れます。
が2で割り切れる は6で割り切れる。
これは偽です。例えば、 は2で割り切れますが、6では割り切れません。
よって、 が6で割り切れることは、 が2で割り切れるための十分条件であるが必要条件ではありません。
(2) が2で割り切れる は素数である。
これは偽です。例えば、 は2で割り切れますが、素数ではありません。
が素数である は2で割り切れる。
これは偽です。例えば、 は素数ですが、2で割り切れません。
よって、 が2で割り切れることは、 が素数であるための必要条件でも十分条件でもありません。
問題2
与えられた命題は「 は無理数 の少なくとも一方は無理数」です。
対偶は「 がともに有理数 は有理数」となります。
対偶の真偽を調べます。
と がともに有理数のとき、, ( は整数, は0でない整数)と表せます。
このとき、 となります。
は整数、 は0でない整数であるため、 は有理数です。
したがって、対偶は真です。元の命題も真です。
3. 最終的な答え
問題1
(1) (c)
(2) (d)
問題2
対偶: がともに有理数 は有理数
真偽: 真