$m$ は自然数とする。以下の2つの命題について、空欄に当てはまるものを選択肢(a)~(d)の中から選ぶ問題。 (1) $m$ が6で割り切れることは、$m$ が2で割り切れるための[ ]。 (2) $m$ が2で割り切れることは、$m$ が素数であるための[ ]。 選択肢: (a) 必要十分条件である (b) 必要条件であるが十分条件ではない (c) 十分条件であるが必要条件ではない (d) 必要条件でも十分条件でもない
2025/6/17
1. 問題の内容
は自然数とする。以下の2つの命題について、空欄に当てはまるものを選択肢(a)~(d)の中から選ぶ問題。
(1) が6で割り切れることは、 が2で割り切れるための[ ]。
(2) が2で割り切れることは、 が素数であるための[ ]。
選択肢:
(a) 必要十分条件である
(b) 必要条件であるが十分条件ではない
(c) 十分条件であるが必要条件ではない
(d) 必要条件でも十分条件でもない
2. 解き方の手順
(1)
が6で割り切れるとき、 (kは自然数) と書ける。
このとき、 となり、 は2で割り切れる。
したがって、 が6で割り切れるならば、 は2で割り切れる。
これは十分条件である。
が2で割り切れるとき、 (kは自然数) と書ける。
が6で割り切れるとは限らない。例えば、 は2で割り切れるが、6で割り切れない。
したがって、 が2で割り切れるならば、 が6で割り切れるとは限らない。
これは必要条件ではない。
よって、 が6で割り切れることは、 が2で割り切れるための十分条件であるが必要条件ではない。
(2)
が2で割り切れるとき、 (kは自然数) と書ける。
が素数であるとは限らない。例えば、 は2で割り切れるが、素数ではない。
したがって、 が2で割り切れるならば、 が素数であるとは限らない。
これは十分条件ではない。
が素数であるとき、 は2で割り切れるとは限らない。例えば、 は素数であるが、2で割り切れない。ただし、 のときは2で割り切れる。
が素数であり、かつ2で割り切れるのは、 のときのみ。
しかし、 が素数であることは、 が2で割り切れることの必要条件ではない。
ただし、 が2で割り切れるかつ素数であるのは、 のみ。
が2で割り切れることは、 が素数であるための必要条件でも十分条件でもない。
3. 最終的な答え
(1) (c)
(2) (d)