数A 集合と論理「すべての」や「ある」について
- 変数ｘ、ｙの変域を自然数全体の集合Nとするとき、ヨｘ[∀ｙ（ｙ≦ｘ）]の真偽を調べよ。
- これは、「ある自然数ｘが存在して、任意の自然数ｙに対してｙ≦ｘが成り立つ」といいなおせる。
- ｙ＝ｘ＋１のときｙ＞ｘが成り立つから、この命題は偽である。
- ベストアンサー
数A 集合と論理 「すべての」や「ある」について
問題集の解説が理解できず困っています… 【問題】 変数ｘ、ｙの変域を自然数全体の集合Nとするとき、ヨｘ[∀ｙ（ｙ≦ｘ）]の真偽を調べよ。 【解答】 これは、「ある自然数ｘが存在して、任意の自然数ｙに対してｙ≦ｘが成り立つ」といいなおせる。 この否定命題「∀ｘ[ヨｙ（ｙ＞ｘ）]」すなわち、「どんな自然数ｘに対しても、ある自然数ｙが存在して、ｙ＞ｘとなる」について考えると、ｙ＝ｘ＋１のときｙ＞ｘが成り立つから真である。 よって、この命題は偽である。 まず、なぜ否定の真偽を考えているのですか？ 否定が真ならもとの命題が偽というのもしっくりこなくて… ある意味背理法みたいにして解いているということでしょうか？ 読み返しても本当に全くわかりません… どなたかよろしくお願いします（> <)
- asd0pse
- お礼率56% (45/80)
- 数学・算数
- 回答数6
- ありがとう数4
- みんなの回答 （6）
- 専門家の回答
質問者が選んだベストアンサー
>ある命題とその命題の否定が両立しない、なんて今まではっきり言われたことなかった ・本当ですか？あなたは「矛盾」という言葉の意味と由来を知りませんか？知らなかったら、ウィキペディアの「矛盾」にアクセスしてみてください。この言葉はまさに命題（この矛はどんな盾でも突き通す）とその命題の否定（この盾はどんな矛でも突き通すことはできない）が両立しない（「矛盾」する）ことを示した言葉です。（ただし、否定命題は正確に述べると「この矛には突き通すことができない盾がある」となるが、この場合でも元の命題と否定命題が「矛盾」することには変わりはありません。） ・あなたの問題に戻って、命題「どんな自然数ｙに対してもｙ≦ｘとなる自然数ｘが存在する」に対する否定命題は「どんな自然数ｘに対しても y≦ｘとなる自然数ｙは存在しない」、すなわち、「どんな自然数ｘに対してもy＞ｘとなる自然数ｙが存在する」であることはよろしいのでしょうか？（解答にある命題のステートメントを少し書き変えました。このほうが分かりやすいでしょう！） ・あとは否定命題が真であることを示せば、元の命題が偽であることが証明されたことになる。否定命題を示すためには、解答にあるように、どんな自然数ｘが与えられても、ｙをy = x +1とすれば、こうして得られたｙはｙ＞ｘを満たすので、否定命題が真であることが示されたことになる。 ・このように否定命題を考え、それが真であることを示すやり方をとるのは、元の命題が偽であることがあまりにもあきらかなので、それの否定命題をとってきてそれが真であることを証明したほうが容易だからです。「矛盾」の例に戻ってみましょう。「この矛はどんな盾でも突き通す」という命題が間違いであることを示すためには「この矛で突き通せない盾が一つでもある」ことを示せばよいのです。
その他の回答 (5)
- hrsmmhr
- ベストアンサー率36% (173/477)
よく見ると限定子以外は式の内容は同じと思います（等号以外） なので本来ならx=y+1と書ければy≦xとして真といえるわけです でも否定命題は言えて、元の命題はいえません 結局限定子の順序に意味があるということだと思います ∃x[∀y...]だと最初にxを決めるとそのxがすべてのyに対してx≧yをいわなくてはならなくてx=y+1と書けない ∀x[∃y...]だと任意のxをとってくるとそれに対してy=x+1という選択ができることになりy=x+1と書けます なので1足すという方法を使おうとすると否定命題が真であることをいうほうが良いということではないかと ただ[]があるのが不自然な気がして、普通は単純に並べて前から見ていくもので 限定子の取り扱いについて[]内を先にするのなら真偽は逆のような気がします []を付けるものは見たことがないので、ここでは問題集の内容に合わせて []には順序に関係がないものとした上での説明にしてます
お礼
うーん… でもやっぱり問題自体がよくわかんないです…； 自力で解けないですね…難しい…
- girlkeeper
- ベストアンサー率45% (29/64)
＃１です。 すみません。間違えました。「逆は必ずしも真ならず」か何かと混同しました。 お騒がせしました。
お礼
いいえ、わざわざありがとうございました（*＾＾*）
- statecollege
- ベストアンサー率70% (492/699)
ANo.1さんは ＞前後しますが、「否定が真ならもとの命題が偽」から。 これだけではダメでしょう。しっくりこないのは当然です。 全ての変数（など）について述べられている命題が真なら、その否定は偽ということでしょう。 と言っておられるが本当でしょうか？ある命題とその命題の否定は両立しませんから、否定命題が真ならば、元の命題は偽となるはずです。たとえば、「ソクラテスは人間である」という命題とその否定命題「ソクラテスは人間ではない」を考えてみましょう。いま仮に「ソクラテスが人間でない」という否定命題が真である（ことが証明された）としましょう。そのとき、元の命題「ソクラテスは人間である」という命題は偽である（ことが証明された）ことになるでしょう。もちろん、逆、すなわち、否定命題が偽ならば、元の命題は真である、ことになります。背理法というのは、まさに、否定命題が偽であることを示すことによって、元の命題が真であることを証明する方法です。あなたが戸惑っておられるのは、ここでは、否定命題が真であるから、元の命題が偽であると、通常の背理法とは逆になっているからではありませんか？
お礼
＞ある命題とその命題の否定は両立しませんから、否定命題が真ならば、元の命題は偽となるはずです。 なるほど、この部分で腑に落ちました！ 普通の背理法と逆だから、とかではなく、ある命題とその命題の否定が両立しない、なんて今まではっきり言われたことなかったもので、両立しない、とか勝手に決めつけちゃっていいのかなぁ…とか思っちゃってました（＾＾；）
- FT56F001
- ベストアンサー率59% (355/599)
> 変数ｘ、ｙの変域を自然数全体の集合Nとするとき、ヨｘ[∀ｙ（ｙ≦ｘ）] 最大の自然数xがあって，他のどんな自然数yよりも大きい。という命題ですね。 どう証明するのかはさておき，「偽」ですね。
- girlkeeper
- ベストアンサー率45% (29/64)
前後しますが、「否定が真ならもとの命題が偽」から。 これだけではダメでしょう。しっくりこないのは当然です。 全ての変数（など）について述べられている命題が真なら、その否定は偽ということでしょう。 例えば「全ての９の倍数は３の倍数である」 この命題は真ですから、この否定「９の倍数の中には３の倍数でないものが存在する」は偽。 本題も「どんな自然数ｘに対しても、ある自然数ｙが存在して、ｙ＞ｘとなる」 が真であることを示してもとの命題が偽であることを言っている。 最初の疑問「なぜ否定の真偽を考えているか」 元の命題「～～のときヨｘ[∀ｙ（ｙ≦ｘ）]」を正しく解釈すれば偽であることは明らかなので、否定を考えた意味は本問の場合はあまりないかもしれません。でも「明らかに偽」では答案にならないので否定にしてみた、くらいですかね・・・
関連するQ&A
- 論理式について
変数の範囲を自然数とし，p(x,y)を「xはyの約数」とする．このとき，次の論理式のそれぞれについて，その意味と真偽の組み合わせで最も適切なものを選択肢から選びなさい． ∀x∃y p(x,y) ∀y∃x p(x,y) ∃x∀y p(x,y) ∃y∀x p(x,y) 【選択肢】 (1)任意の自然数を割り切る数がある． 真 (2)任意の自然数を割り切る数がある． 偽 (3)すべての自然数には少なくとも1つの倍数がある． 真 (4)すべての自然数には少なくとも1つの倍数がある． 偽 (5)任意の自然数には約数が存在する． 真 (6)任意の自然数には約数が存在する． 偽 (7)すべての自然数で割り切られる数がある． 真 (8)すべての自然数で割り切られる数がある． 偽 自分でやってみて、上から順に(8)(3)(5)(1)となったのですが、どうでしょうか？
- 締切済み
- 数学・算数
- 数学Aのすべて、あるについて
命題と否定の真偽を答える問題で x^2-3x-10=0である自然数xが存在する。 とあるのですが、否定は=を≠にして ある を すべて にするのですが、 この問題の場合 、 がない場合意味が二つとれるように思いますが、どういうことなのでしょうか? x^2-3x-10=0である、自然数xが存在する と x^2-3x-10=0で、ある自然数xが存在する つまり句読点がないと判断できないような気がします。 回答よろしくお願いします。
- ベストアンサー
- 数学・算数
- 数学 集合と論理
解答がなく困ってます。どなたか添削お願いしますm(_ _)m 実数xについて、条件p,q,r,sを次のように定める。 p:x>6 q:x<1 r:x^2-6x+8>0 s:|x-4|<1 この時次の命題の真偽を調べなさい。 1.pまたはqならば、r 2.sならば、p否定 かつ q否定 3.sならば、r *自己解答* 1.r=x<2,4<x となる。よって真である。 2.s=3<x<5，p否定はx≦6，q否定はx≧1となる。よって真である。 3.問1,2より 偽である。 社会人になってからの勉強です。 間違いがありましたら 解説と併せてよろしくお願いします。
- ベストアンサー
- 数学・算数
- 命題の記述について
(∃x∈R)(∀y∈R)(x≦y) この命題が真偽であるかについてですが、例えばx=y-1としてやれば真になると考えたのですが、解答は偽でした。 しかしよくよく考えてみると、これが真ならば否定の(∀x∈R)(∃y∈R)(x>y)も同じように真となって矛盾することに気が付きました。 と言うことで私の考えのどこが間違っているのですか？ 記述のxとyの記述の順番で重要になってきて、 あるxが存在する、しかしそれは全てのyで次の条件が成り立たねばならない。→偽 [否定の場合]全てのxについて次の条件を満たすyが存在する。→真 といった感じでしょうか？教えてください。
- ベストアンサー
- 数学・算数
- 基礎論（集合論）の問題が解けません
基礎論の入門書にある問題が解けません。解答がついていないので、教えてもらえればありがたいです。 問題だけを挙げても意味不明になりそうなので、少し前のところから、なるべく丸写ししたいと思います。 以下、問題です。よろしくお願いします。 ＜に関する帰納法（正則性の公理と同等） （注！ 記号が自由にならないので、「ｙはｘの元（要素）である」をｙ＜ｘ、全称量化記号（Ａを逆さまにしたやつ）をＡと表記します） 数学において帰納法といえば、普通は自然数に関する帰納法をいう。 ＜に関する帰納法というのは、集合にも同じような性質があったほうがよいという要請を公理の形で書いたものである。 ＜に関する帰納法とは次のようなものである。 Ａｘ（Ａｙ＜ｘＡ（ｙ）→Ｐ（ｘ））→ＡｘＰ（ｘ） つまり自然数に関する帰納法はｎ－１について成り立つならばｎでも成り立つとき、すべての自然数でも成り立つということであるが、＜に関する帰納法はｙ＜ｘとなるすべてのｙで成り立つならばｘでも成り立つとき、すべての集合でも成り立つということを述べている。 問題 自然数に関する帰納法では０で成り立つことがはじめに必要であるが、＜に関する帰納法ではこのようなものがない。なぜか考えよ。 ヒント：命題論理でｐ→ｑのｐがＦ（＝偽）ならば、この式はいつでもＴ（＝真）であることを思い出せ（そして、ｘ＜φの真偽値がＦであることも）。
- 締切済み
- 数学・算数
お礼
普通に言葉としての「矛盾」という使い方は理解できていたのですが、数学の問題になるとなぜかそのまま素直に考えれてなかったみたいです…（＾＾；） というか、まずもとの命題の意味がよく理解できていなかったみたいです； ＞このように否定命題を考え、それが真であることを示すやり方をとるのは、元の命題が偽であることがあまりにもあきらかなので、それの否定命題をとってきてそれが真であることを証明したほうが容易だからです。 なるほど…！ これでもやもやしてたのが晴れました！ この問題にあたって、自分でも何が分からないのか分かっていなかったみたいで質問も舌足らずだなって思っていたのですが、知りたいことをどんぴしゃで解説していただけて本当に感謝です☆ ありがとうございました！（> <)