数学I 論理と集合FTEXT ftext.org
条件の結合 練習問題全3問
条件の結合の練習問題(全3問・解答つき)
数学I「条件の結合」(論理と集合)の練習問題を3問まとめました。解答は各問のすぐ下に折りたたんであります。そのまま印刷すれば、解答の見えない問題プリントになります。
問題1条件の否定
は無理数である
解答を見る
「
は である」の否定は「 は ではない」、よって 「
は 以上である」の否定は「 は 以上ではない」、つまり「 は より小さい」、よって 「
と を足したものは より大きい」の否定は「 と を足したものは より大きくはない」、つまり「 と を足したものは 以下である」、よって 「
は無理数である」の否定は「 は無理数ではない」、つまり 「
は有理数である」
問題2必要条件と十分条件
次の四角の中に
- (ア) 必要条件であるが十分条件ではない
- (イ) 十分条件であるが必要条件ではない
- (ウ) 必要十分条件である
- (エ) 必要条件でも十分条件でもない
のうち、適当なものを選んで入れよ。
は であるための、 は であるための、 は であるための、 は であるための、
解答を見る
これより は偽 (反例 ) は真
となるので、
には(ア)が入る。 積
が 以下になるのは、 の符号が異なるときか、少なくとも一方が のときだから これより は真 は偽 (反例 かつ など)
となるので、
には(イ)が入る。 に関して、まず このうち、さらに を満たすは かつ である。これより は真 は真
つまり、
であるから、には(ウ)が入る。 は偽 (反例 ) は偽 (反例 など)
となるので、
には(エ)が入る。
問題3「すべて」と「ある」の否定
次の命題の否定を作れ。また、もとの命題と否定した命題のどちらが真か答えよ。ただし、
- すべての
について、 である。 - ある
について、 である。 - すべての
について、 が偶数ならば は の倍数である。 - すべての
について、 ならば である。 - ある
について、 である。
解答を見る
否定は「ある
について、 である」。実数の2乗は以上なので、もとの命題が真。 否定は「すべての
について、 である」。実数の2乗が負になることはないので、否定した命題が真。否定は「ある
について、 は偶数であるが は の倍数でない」。 が偶数のとき (は整数)とおけ、 はの倍数となるので、もとの命題が真。 否定は「ある
について、 であるが である」。 がこれを満たすので、否定した命題が真。否定は「すべての
について、 である」。 となる整数は存在しないので、否定した命題が真。