- ベストアンサー
命題の否定
- みんなの回答 （4）
- 専門家の回答
質問者が選んだベストアンサー
命題「Mに属すどんな数xをとってもｘ＞ｙまたはｘ＝ｙとなるｙがNに存在する」 この文章， 日本語的にはすっきりしてるのですが 日本語的にはちょっとおかしくはなりますが 英語的な順序で考えると 考えやすいことが多いです 集合M，Nを考え，x，yはそれぞれM，Nの元とする その前提において， 任意のxに対して， あるyが存在し， x≧yとできる これの否定です．No.2さんが おっしゃるように前提は変わりません． その前提内での否定です． となると 集合M，Nを考え，x，yはそれぞれM，Nの元とする あるxが存在して， 任意のyに対して x<yである となります． 「解答」と表現が異なりますが， 普通はこういう風に書くことのほうが 多いはずです というか，「解答」が正しいのか ちょっと悩みましたよ，正直。。。 「x≧yとなるyが存在しない」 ってのは 「任意のyに対して，「x≧yとはならない」」 という意味なので 結局 「任意のyに対してx<yである」 ということです 記号的に書けば ∀x∃y P(x,y) という形の命題を否定するので ∃x∀y ￢P(x,y) ですし，P(x,y)は「x≧y」なので ￢P(x,y)は「x<y」です >「ある実数xについてax2乗＜０が成り立つならばa<0である」 これも， 「aは実数である」という前提のもと 「ある実数xに対してax^2<0」ならば「a<0」 ということの対偶なので 「aは実数である」という前提のもと 「「a<0」でない」ならば 「「ある実数xに対してax^2<0」でない」 というのが対偶となり 「aは実数である」という前提のもと 「a≧0」ならば「任意の実数xに対してax^2≧0」 となります この手の問題は ・何が大きな前提条件なのか （集合の言葉で言えば「全体集合」が何か） ・命題の中での仮定と結論は何か を文脈から読みとらないといけないことです． したがって， 複雑な命題の場合は どこが前提か，仮定はどこか，結論はどこか というのが， 分かるように表記することがあります 今回の質問のような問題は そーいう文脈を読み取る練習問題の意味合いもあります
その他の回答 (3)
- take008
- ベストアンサー率46% (58/126)
「Mに属すどんな数xをとってもｘ＞ｙまたはｘ＝ｙとなるｙがNに存在する」 を記号化して書くと 全ｘ∈Ｍ 在ｙ∈Ｎ(ｘ≧ｙ) または 全ｘ(ｘ∈Ｍ ならば 在ｙ(ｙ∈Ｎ かつ ｘ≧ｙ)) となります。 否定は，それぞれ 在ｘ∈Ｍ 全ｙ∈Ｎ(ｘ＜ｙ) 在ｘ(ｘ∈Ｍ かつ 全ｙ(ｙ∈Ｎ ならば ｘ＜ｙ)) となります。 「Ｐ ならば Ｑ」の否定は「Ｐ なのに Ｑでない」すなわち「Ｐ かつ Ｑでない」です。 「Ｐでない かつ Ｑでない」は「Ｐ または Ｑ」の否定です。 「ある実数xについてax2乗＜０が成り立つならばa<0である」 は 在ｘ:実数(ａｘ^2＜０ ならば ａ＜０) ではなくて (在ｘ:実数(ａｘ^2＜０)) ならば ａ＜０ です。 その対偶は ａ≧０ ならば (全ｘ:実数(ａｘ^2≧０)) です。
お礼
（）でくくるとわかりやすいですね！ありがとうございました。
- pyon1956
- ベストアンサー率35% (484/1350)
命題は大体ある集合の中で考えるのが一般的です。 たとえば、「この部屋の中に今いる人で、～の人」というようにこの部屋の中の人が対象だといっているわけです。 否定というのは集合で考えると補集合ですが、Aの補集合というのはもともと全体集合の中でAに属さないもの全体の集合のことですから、全体集合が定まっていなければ定義の使用がありません。（先ほどの例だと、この部屋で～でない人はいないかもしれないけど、世界中だったらきっといる、ってな場合とかね） つまりあなたの仰る「Mに属する」というのは命題の中身ではなく、その命題がどういう集合を対象にしているか、というものですから、それを変化させたのでは意味がありません。 Mの中で～のもの、に対してそうでないものを考えるわけです。これ、形式的にはあなたの答えも正しそうに感じる人もいると思うのですが、現実の世界でそれをやると「論理のすり替え」って怒られます。 たとえば「日本ではこうだ、って話しをしてたのにいつのまにか日本以外の話になっているじゃないか」ってな具合にね。
補足
なるほど。確かにそうですね。ただそう考えると次は 問題：「ある実数xについてax2乗＜０が成り立つならばa<0である」の対偶を記せ。 答え：「a>0または=0ならば全ての実数xについてax2乗＞０または＝０が成り立つ」 がわからなくなってしまいました。 「ある実数xについてa>0または＝０ならばax2乗＞０または＝０が成り立つ」としてしまったのですがだめなのでしょうか？
- edomin
- ベストアンサー率32% (327/1003)
「Ｍに属さないＸ」に対しての証明をしても、「Ｍに属すＸ」に対する証明にはならないからです。 （Ｍに属する）「すべて」のＸについて成り立つ命題ですから、そのうちの１つでも成り立たないことが証明できれば最初の命題は否定できます。
お礼
簡潔に書いていただいてわかりやすかったです。 ありがとうございました！
関連するQ&A
- 命題の否定について質問です
Ｍ，Ｎを空でない実数の部分集合とする。このとき命題「Ｍに属すどんな数ｘをとっても、ｘ≧ｙとなるｙがＮに存在する」の否定が解答では「Ｍに属すある数ｘに対して、ｘ≧ｙとなるｙがＮに存在しない」となっているんですが、ｘ≧ｙの部分は否定してｘ＜ｙにしなくてもよいんですか？
- ベストアンサー
- 数学・算数
- 命題の否定
高１です。 夏休みの宿題で、論理の課題がでました。 その中に、「真理値表」など命題の基本事項から、「全称命題」や「存在命題」、「ε-δ論法」までがあるのですが、 そのうち「全称命題」、「存在命題」の複合命題（？）で正解なのかどうか分からない（というか確認したい）ことがあります。 命題 ∀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 ∃y ∀z f(x,y,z) これの命題の否定が ∃x ∀y∃z ￢f(x,y,z) であることをどうやって示せますか？ 以下私の愚考 集合で考えても、順序関係（wikipediaでは「量化子の入れ子」とありました）を考えると複雑になってうまくまとまらない ∃y ∀z f(x,y,z) の部分を F(x)として解釈すると元の命題は∀x F(x) となり単純になる ￢∀x F(x)⇐⇒∃x ￢F(x)を真とすると（公理？または定理？） 元の命題の否定は￢F(x)を考えると得られる ここまではいいとしても、その後がどうもうまくいかない気がします ￢F(x) とは ￢∃y ∀z f(x,y,z) であり、￢∃y ∀z f(x,y,z) とは ∀y ￢∀z f(x,y,z) であり、￢∀z f(x,y,z) とは∃z￢f(x,y,z) であるとして、元の命題の否定命題が得られればいいのですが、論理形式的になんかめちゃくちゃになっている気がします。どう考えていいのかわかなくなりました
- ベストアンサー
- 数学・算数
- ∀と∃の両方が含まれている否定命題
∀x∈実数Ｒ,∃y∈実数Ｒ,x+y=0 この否定命題について教えてください。 以下の通り、自分なりに解いたのですが、 ∀と∃の両方が含まれているのでよくわからず 間違っているような気がします。 ￢（∀x∈実数Ｒ,∃y∈実数Ｒ,x+y=0）⇔ ∃x∈実数Ｒ,∀y∈実数Ｒ,￢（x+y=0）⇔ ∃x∈実数Ｒ,∀y∈実数Ｒ,x+y≠0 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 空集合の扱い方について
とっても読みにくい文章になってしまいましたが、回答お願いします。記述の仕方のささいな誤りは見逃してください… 「P(x)を満たす任意のx∈R(実数)がQ(x)を満たす。」という命題（命題１）について、 P(x)を満たすxが存在しないとき（つまり、{x∈R|P(x)}=Φのとき）、この命題は真だと説明されました。 理由としては、 「この命題が偽ならば、P(x)を満たすがQ(x)を満たさないxが反例として存在するはずだが、P(x)を満たすようなxはそもそも存在しない。よって真である。」 ということらしいのです。 そこで、Q(x)の否定をR(x)として、「P(x)を満たす任意のxがR(x)を満たす。」（命題２）の真を同様に証明することもできるのでしょうか？ もしできるのなら続けて質問があります。 P(x)を満たすxの集合をS、Q(x)を満たすxの集合をTとすると、命題１が成り立つとき、SはTに含まれています。Sが空集合の場合を考えると、空集合は任意の集合の部分集合である、といえます。（これは授業でやりました） しかし命題２が成り立つならば、SはTに含まれていません。空集合はどの集合にも含まれない、ということになりますよね。 空集合は任意の集合の部分集合であると同時に、どの集合にも含まれないという理解で良いのでしょうか？ また、Q(x)=（x≦u）とすると、「SはTの部分集合である⇔uはSの上界である」となり、命題１をこれまでと同様に命題１をあてはめると、任意の実数uは空集合Φの上界である。となり、命題２をあてはめると任意の実数uは空集合Φの下界である。ということになりますが、これも上と同様の、任意の実数uは空集合Φの上界であり、下界である、というふうに理解したのでよいですか？
- 締切済み
- 数学・算数
- 数学の命題の問題です。
数学の命題の問題です。 次の命題を論理式で書き、真偽を調べよ。さらに、その証明を与えよ。 ここでは、Xは空でない普遍集合とし、P(A)はAのべき集合をあらわす。 「Xの部分集合Aに対してP(A∪B)=P(A)∪P(B)となるXの部分集合Bが存在する」 回答よろしくお願いします。
- 締切済み
- 数学・算数
お礼
とにかく論理の問題はわかりやすく自分で噛み砕いていく必要があるのですね。これからはそういう癖をつけていきたいと思います。また確かに「aが実数」ということが前提になっていたことを考えますと文脈などもよく考える必要があることがよくわかりました！今まで論理を軽んじてきましたがやっぱりまだまだ自分には論理力が足らないこともわかりましたので、これからがんばっていきたいと思います！ありがとうございました。