命題の真偽

質問

命題xy≦0ならばx≦0またはy≦0

解答ではこの命題は「真」となっていましたが、
本当に真でしょうか？間違いではないかと思ったので
投稿しました。
どなたかご確認していただけないでしょうか？

回答No.1

asuncion · ベストアンサー

命題「xy≦0ならばx≦0またはy≦0」の真偽は、この命題の対偶である
命題「x>0かつy>0ならば、xy>0」（※）の真偽と一致します。

命題（※）が真であることは自明です。
よって、命題「xy≦0ならばx≦0またはy≦0」は真であることが証明できました。

お礼

ありがとうございました。待遇を考えれば明らかですね。

回答No.4

stomachman

ご質問にお書きのものを命題とお認めであるのなら、それは「真」でよろしいでしょう。
　これを「間違いではないかと思った」理由をお聞かせ願えれば、一層ツボをついた解説も可能かと思います。

　うるさいことを言えば、お書きの言明には「xやy≦や積がナニモノであるかということが指定してない」という問題点があるので、厳密にはこれは（真偽を問う以前に）「命題」とは呼べません。
　ですが、算数だか中学の数学だかの文脈における数の比較の話なんだろうな、と思う事にすれば、そのあたりの曖昧さは許容できる程度でございましょう。だからこそこれを「命題」と呼んでいらっしゃるのだろうと理解いたします。
　そういう解釈の上で、（つまり、ご質問にお書きのものを命題とお認めであるのなら、）「真」でよろしいでしょう、というのが回答です。

ーーーーーーーーーーーーー

　さて、以下はおそらく質問者さんにとっては無用の混乱を招くだけだろうと思われ、読み飛ばして戴く方が御身のためじゃないかと思います。

　が、数学スレの性格上、厳密性ということをないがしろにはできないという都合がございまして、ちょっと書いとかなくちゃいけません。

　上記の「ナニモノであるかが書いてない」という弱点を突いたのがANo.2です。これに対して、ANo.3が出ました。複素数では≦は定義されておらず、当然≦なんか使わない。そんなもん意味不明じゃないか、という穏当なご意見です。（中学高校の数学教師の大半はANo.3に賛同なさりそうな気がします。）
　さて、「x≦y」とは本来何のことかというと、実数のペア(x,y)を要素とする集合「≦」が決めてあって、
　　(x,y)∈≦
である、ということを意味しています（もう少し詳しい解説はhttp://okwave.jp/qa/q7018385.htmlにあります）。
　集合≦は実数のペアしか含みませんから、xかyが実数でない場合には(x,y)∈≦は当然偽であり、すなわちx≦yは偽になる。同様に、>も実数のペアの集合であり、xかyが実数でない場合にはx>yも偽です。たとえば、i≦0もi>0も、どっちも偽である。
　なので、ANo.2は（言明を「命題」だとウッカリ認めちゃったりさえしていなければ、カンペキに）正しいんですね。

お礼

x≦0またはy≦0は、x<0かつy<0を含んでいるので、この集合を抜かなければ
いけないのではと思ったのですが、

皆さんのご指摘で、自分が勘違いしていることがわかりました。
集合P→集合Q　となるにはP⊂Qとなるのですよね。

必要十分条件を求めているわけではないので、真でいいのだと理解できました。
ありがとうございました。

回答No.3

asuncion

虚数単位とゼロとの大小を比較することにどういう意味があるか、
私にはよくわかりませんでした。

お礼

なるほど、x≦0などと言っている時点でxは実数でないといけませんね。
ありがとうございます。

回答No.2

notnot

この命題が真であるためには、x と y が実数であるという前提が要りますね。

x = y = i (=虚数単位) だと、 xy ≦0 ですが、x≦0 は偽です。 x > 0 も偽ですが。

x も y も実数なら No1の回答の通り真です。

お礼

ご回答ありがとうございました。確かに実数である前提がないといけませんね。