命題(問題①)

問題

問1.次の命題の真偽を答えよ.

(1) \(x=1\) かつ \(y=2\) ならば \(x+y=3\) である.

(2) \(a\) が無理数かつ \(b\) が無理数ならば \(a+b\) は無理数である.

(3) \(a\) が無理数かつ \(b\) が無理数ならば \(ab\) は無理数である.

(4) \(x+y=0\) ならば \(x=0\) かつ \(y=0\) である

(5) \(|x|+|y|=0\) ならば \(x=0\) かつ \(y=0\) である

問2.問1の各命題について,その逆,裏,対偶とその真偽を答えよ.偽の場合はその反例を答えよ.

問3.問1の結論は必要条件,十分条件,必要十分条件,あるいはそのどちらでもないか答えよ.

解答

問1.

(1) 真

(2) 偽(\(a=\sqrt{2}\),\(b=-\sqrt{2}\))

(3) 偽(a=\(\sqrt{2}\),\(b=\sqrt{2}\))

(4) 偽(\(x=1\),\(y=-1\))

(5) 真

問2.

(1) 逆  \(x+y=3\) ならば \(x=1\) かつ \(y=2\) ,
     偽,反例:\(x=2,y=1\)
  裏  \(x \neq 1\) または \(y \neq 2\) ならば \(x+y \neq 3\),
     偽,反例:\(x=2,y=1\)
  対偶 \(x+y \neq 3\) ならば \(x \neq 1\)または \(y \neq 2\) ,真

(2) 逆  \(a+b\) が無理数ならば \(a\) が無理数かつ \(b\) が無理数,
     偽,反例:\(a=\pi,b=0\)
  裏  \(a\) が有理数または \(b\) が有理数ならば \(a+b\) は有理数,
     偽,反例:\(a=\pi,b=0\)
  対偶 \(a+b\) は有理数ならば \(a\) が有理数または \(b\) が有理数,
     偽,反例:\(a=\pi,b=-\pi\)

(3) 逆  \(ab\) が無理数ならば \(a\) が無理数かつ \(b\) が無理数,
     偽,反例:\(a=\sqrt{2},b=0\)
  裏  \(a\) が有理数または \(b\) が有理数ならば \(ab\) は有理数,
     偽,反例:\(a=\sqrt{2},b=0\)
  対偶 \(ab\) が有理数ならば \(a\) が有理数または \(b\) が有理数,
     偽,反例:\(a=b=\sqrt{2}\)

(4) 逆  \(x=0\) かつ \(y=0\) ならば \(x+y=0\) ,真
  裏  \(x+y \neq 0\) ならば \(x \neq 0\) または \(y \neq 0\) ,真
  対偶 \(x \neq 0\) または \(y \neq 0\) ならば \(x+y \neq 0\) ,偽,
     反例:\(x=0,y=1\)

(5) 逆  \(x=0\) かつ \(y=0\) ならば \(|x|+|y|=0\) ,真
  裏  \(|x|+|y| \neq 0\) ならば \(x \neq 0\) または \(y \neq 0\) ,真
  対偶 \(x \neq 0\) または \(y \neq 0\) ならば \(|x|+|y| \neq 0\) ,真

反例は他にもあるのでここに示したもの以外でもかまいません.

問3.

(1) 必要条件

(2) どちらでもない

(3) どちらでもない

(4) 十分条件

(5) 必要十分条件