• ベストアンサー

命題の否定の真偽について

青チャートに、「x^2-3x-10=0 である自然数xが存在する」という命題の真偽（否定も）を調べよという問題があるのですがなぜこの場合「ある」の方の命題に当てはまるのかわかりません。「すべて」と「ある」の違いがわかりません。これは私が日本語を理解できないのが原因ですか？

質問者が選んだベストアンサー

  • ベストアンサー
  • asuncion
  • ベストアンサー率33% (2126/6288)
回答No.1

x^2 - 3x - 10 = 0 という2次方程式は、 (x + 2)(x - 5) = 0 と因数分解できることから、x = -2 または x = 5 のとき「だけ」成り立ちます。これが、「ある」の意味です。 すべての自然数について x^2 - 3x - 10 = 0 が成り立つわけではないことは、上述のとおりです。

lyfmwspzbrt
質問者

お礼

理解できました。 真偽を調べるということをもっと意識するべきでした。 「すべて」のときは反例があるか調べる、つまり偽かどうかまず調べますが「ある」のときも似たように解く必要があると意識しすぎてしまい理解できていなかったようです。

その他の回答 (1)

  • asuncion
  • ベストアンサー率33% (2126/6288)
回答No.2

おお～。 そもそもx = -2は自然数ではなかった。 なので、x^2 - 3x - 10 = 0を満たす自然数は5のみ。 こんな風に覚えたらどうでしょう。あくまで参考程度に。 自然数の中には、x^2 - 3x - 10 = 0を満たすものが「在る（ある）」。具体的には5。 ⇔或る（ある）自然数（具体的には5）について、x^2 - 3x - 10 = 0を満たす。 これで、「ある」と「すべて」の違いがわかるのではないかと期待します。

  1. カテゴリ
  2. 学問・教育
  3. 数学・算数

関連するQ&A

  • 命題２

    １任意の実数ｘに対し、自然数Nが存在してN＞ｘとなる。 ２自然数Nが存在して、任意の実数ｘに対しN＞ｘとなる。 以前聞いたこの２つの命題の否定命題の真偽はどうなるのでしょうか？ また 任意の実数ｘに対しN>xとなる自然数Nが存在する。 という命題は上の２つの意味とは違うのでしょうか？

  • 否定の真偽

    冬休みの宿題で分からないところがあります。 ＜問題＞ 次の命題の否定をつくり、その真偽を調べよ。 全ての実数ｘ,ｙについてｘ(2)＋ｙ(2)＞０（(2)は２乗の意味です） 否定は「ある実数ｘ,ｙについてｘ(2)＋ｙ(2)≦０」 これは合ってました。 でも、この否定は「偽」と思ったんですが、答は「真」でした。 どうしてですか？ ぜひ教えて下さい！

  • この命題の真偽は何ですか？

    次の命題の真偽は何ですか？ 「x,yは実数とする．x＞0ならば，あるyについてxy＞0である．」 確かにy＞0のyに対してこれは成り立っていると思います． しかし，この命題の対偶である 「x,yは実数とする．すべてのyについてxy≦0ならば，x≦0である．」 が偽であるような気がします． 反例：x=1,y=-1 ではやはり，最初の命題は偽なのですか？

  • 命題の否定

    高１です。 夏休みの宿題で、論理の課題がでました。 その中に、「真理値表」など命題の基本事項から、「全称命題」や「存在命題」、「ε-δ論法」までがあるのですが、 そのうち「全称命題」、「存在命題」の複合命題（？）で正解なのかどうか分からない（というか確認したい）ことがあります。 命題　∀x∈X,∃y∈Y,p(x,y)の否定命題ですが、 ∃x∈X,∀y∈Y,¬p(x,y)でいいのでしょうか？？？ もしこれが正解なら、次も正解でしょうか？ X:=男性全体 Y:=女性全体 p(x,y):=「xはyに好かれている」 P:∀x∈X,∃y∈Y,p(x,y) 　「すべての男性はいずれかの女性に好かれる」 とすると、Pの否定命題は ¬P:∃x∈X,∀y∈Y,¬p(x,y) 　「いずれかの男性はすべての女性から好かれない」 多分合っていると思うのですが、どうでしょうか？

  • 命題の真偽。

    次の命題の真偽を調べ、偽である場合には反例を挙げなさい。 x^2≧4⇒x≧2 x^2=1⇒x=-1 mが巣数⇒mは奇数 整数nについて、n^2≦4⇒-3≦n≦3 教えてください。お願いします！

  • 否定命題

    M,Nを空でない実数の部分集合とする。 命題「Mに属するどんな数xをとっても、x≧yとなるyがNに存在する」 の否定命題を述べよ。 答え　「Nに属するすべてのyに対してx<yを満たすxがMに存在する」 自分の回答は 「Mに属さないあるxをとっても、￢(x≧yとなるyがNに存在する)」 ￢(x≧yとなるyがNに存在する)は、 (Nに属さない全てのyはx<yを満たす)に等しい。 よって答えは、 「Mに属さないあるxをとっても、Nに属さない全てのyはx<yを満たす」 となりました。 どこが間違っているのか、どなたか教えてください。

  • 命題

    １任意の実数ｘに対し、自然数Nが存在してN＞ｘとなる。 ２自然数Nが存在して、任意の実数ｘに対しN＞ｘとなる。 この２つの命題の真偽はどうなのでしょうか？またこの２つの命題は同じ意味じゃないんでしょうか？どこが違うのかワカリマセン。

  • 命題の否定

    「集合と論理」についていまいち理解できないことがあるのでどなたかお願いします。 問題：M,Nを空でない実数の部分集合とする。命題「Mに属すどんな数xをとってもｘ＞ｙまたはｘ＝ｙとなるｙがNに存在する」の否定命題を答えよ とりあえず初めに考えるべき（と書かれている）解答：Mに属すあるxに対しｘ＞ｙまたはｘ＝ｙとなるｙがNに存在しない となっているのですが 自分の解答：Mに属さないあるｘに対しｘ＞ｙまたはｘ＝ｙとなるｙがNに存在しない としてしまいました。 なぜ「Mに属す」なのでしょうか？お願いします。

  • 数A　集合と論理　「すべての」や「ある」について

    問題集の解説が理解できず困っています… 【問題】 変数ｘ、ｙの変域を自然数全体の集合Nとするとき、ヨｘ[∀ｙ（ｙ≦ｘ）]の真偽を調べよ。 【解答】 これは、「ある自然数ｘが存在して、任意の自然数ｙに対してｙ≦ｘが成り立つ」といいなおせる。 この否定命題「∀ｘ[ヨｙ（ｙ＞ｘ）]」すなわち、「どんな自然数ｘに対しても、ある自然数ｙが存在して、ｙ＞ｘとなる」について考えると、ｙ＝ｘ＋１のときｙ＞ｘが成り立つから真である。 よって、この命題は偽である。 まず、なぜ否定の真偽を考えているのですか？ 否定が真ならもとの命題が偽というのもしっくりこなくて… ある意味背理法みたいにして解いているということでしょうか？ 読み返しても本当に全くわかりません… どなたかよろしくお願いします（> <)

  • 背理法と命題の否定について

    背理法と命題の否定について 例えばp⇒qを背理法を用いて証明するとき、p⇒qの否定を仮定すると、すなわち、pであってqでないものが存在すると仮定すると矛盾が生じるから、(否定が偽ならもとの命題は真であるから、)p⇒qである。ということなんですよね？ では、「nが自然数のとき、n(n+2)が8の倍数ならばnは偶数である」を背理法を用いて証明するとき、冒頭の文は、「nが自然数、n(n+2)が8の倍数であり、奇数であるnが存在すると仮定する。」というのでいいんですよね？ 普通参考書などではもっと簡潔に「nが奇数であると仮定する。」などと書いてあるのは、わざわざ長々と書かなくてもわかるからということなのでしょうか？ しかしこの書き方だと、「全てのnが奇数であると仮定する」と言っているようにも取れるように思うのですが… p⇒qの否定は決して「p⇒qの余事象」ではないですよね？ 自分の解釈に自信がもてなくて… 間違っているところがありましたら、ご指摘お願いします。

注目のQ&A

カテゴリ

専門家に質問してみよう

職業から探して質問する

あなたにピッタリな商品が見つかる！ OKWAVEセレクト

質問する