論理 A=B=1の否定の

答えは「A≠１またはB≠１」となってましたが、
「A≠B」だけでよいように思いますが、どこがいけないのでしょうか。また模範解答に付け加えて「またはA≠B」は不要なのでしょうか。

No.5 ベストアンサー 回答者： liar_adan 回答日時： 2005/12/05 21:45

「A≠B」だけではだめなのは、＃1さんの言う通りです。

＞すなはち、「＝＝」の否定とは３つともちがうのではなく、ひとつの「＝」が成り立たない場合だけを答えとするのですか。

その通りです。「すべて成り立つ」の否定は、
「少なくとも一つが成り立たない」です。

＞A=B=1
という式は、細かく書くと、
「A=B と
A=1 と
B=1 が
すべて成り立っている」……(α)
ということを意味します。ここまではいいですね。
(A=1がわかりにくいかもしれませんが、
「A=?=1」は、当然「A=1」の意味も含んでいます)

で、その否定を、これも細かく書くと、
(「すべて成り立っている」の否定が「少なくとも一つは成り立っていない」となることより)
「A=B と
A=1 と
B=1 のうちで、
少なくとも一つ成り立っていない」……(β)
となります。

これを、不等号記号≠を用いて書くと、
「A≠B と
A≠1 と
B≠1 が
どれか一つ成り立っている」……(γ)
となります。
(β)と(γ)の意味しているところは同じです。
言い方を変えて
「A≠B または A≠１またはB≠１」
と書いても同じです。

で、詳しく書けば、質問者さんの言う通り、
A≠Bも入るわけですが、
「A≠１またはB≠１」となっていて、
「しかもA=B」という状況が、ありえないわけです。
つまり余計なのです。
「A≠B または A≠１またはB≠１」という回答を出した場合、
「うーん。これ、二つ書けばいいんだよ。ちょっと気を利かせてほしかったな」
という意味で、少し減点されるかもしれません。
(論理的にまちがっているわけではないのですが、
数学は頭の訓練ですから、そういうこともあり得ます。)

しかし、「A≠１またはB≠１」のほかに、回答として、
「A≠BまたはB≠１」
「A≠BまたはA≠１」
という書き方もあり得ます。どれを選んでも、
「A=B=1」の否定になっています。
(ただ、採点者がうっかりものの場合、
模範解答の「A≠１またはB≠１」だけを正解にして
他はまちがいにしてしまうかもしれません。)

この回答へのお礼

ありがとうございました。締め切ったあとで疑問が出ましたので別項目でお願いします。

お礼日時：2005/12/05 22:09

No.4 回答者： YNi2B2C 回答日時： 2005/12/05 21:21

No.2です。

補足します。

Ａ＝Ｂ＝１は、
Ａ＝１かつＢ＝１
と言うことです。従って、その否定は
Ａ≠１またはＢ≠１
となりますが、これでは如何でしょうか？

No.3 回答者： saru_1234 回答日時： 2005/12/05 20:43

「A=B=1 の否定」ということは,

「A=B も A=1 も B=1 のどれでもない」ということです.

なので A≠Bでは,

例えば A=2 で B=1 の場合,

B=1 が該当してしまうので

不正解です.

この回答への補足

みなさんへ、話題を変えますが、「A＝B＝１」の否定と「A＝B＝１＝A」の否定では、答えが変わりますか。前者なら「１＝２＝１」となった場合は「A=1」でありながら「＝」は左右とも否定されていますが。

補足日時：2005/12/05 20:53

この回答へのお礼

すみません「＝」の場合は最後に先頭を付ける必要のないことに気づきました。

お礼日時：2005/12/05 21:05

No.2 回答者： YNi2B2C 回答日時： 2005/12/05 20:40

Ａ＝Ｂなんですが、ＡもＢも１ではないんです。

従って、Ａ≠Ｂは不正解では・・・

No.1 回答者： Ichitsubo 回答日時： 2005/12/05 20:38

「Ａ＝Ｂ＝１ではない」場合には

Ａ＝Ｂ＝２なんていうのもありますね。
ですから、Ａ≠１またはＢ≠１です。

Ａ＝Ｂ＝１とは、Ａ＝１とＢ＝１が同時に成り立つということを示しているので、
否定は「同時に成り立たない」をいえばよいのです。

この回答への補足

念のためくどく質問します。A≠BのときはA＝１、B＝２ならば、否定になるのですが、A＝３、B＝２の場合は、二つとも成り立っていないので、「・・・ではない」とは言えても「同時に成り立たない」とはいえないのですか。すなはち、「＝＝」の否定とは３つともちがうのではなく、ひとつの「＝」が成り立たない場合だけを答えとするのですか。いやそれはまちがいだ。A=１の場合は左右の「＝」二つとも成り立たなくなる。もう一度よろしくお願いします。私からの返事などは１０時を過ぎます。

補足日時：2005/12/05 20:40