簡単な論理の問題のはずが・・・

先日大学の小テストで出た問題なのですが、
「片面に図形、その反対の面に数字の書いてあるカードが４枚机の上に並べてあり、□、２、▽、７が見えている。『カードのどちらかの面に四角形が書かれているならば反対側の面は奇数が書かれている』をこの４枚のカードが満たしていることを確かめるためには、最低限度のカードを裏返す必要があるか？理由をつけて答えよ」
という問題に対して、以下のような解答をしました。
「□と２のカードを裏返せばよい。（理由）『カードに□が書かれている』という命題をA、「反対の面が奇数」という命題をBとすれば、A⇒Bを偽としうるのはAが真でかつBが偽であるときのみであるため」
こうしたところ半分の点数ももらえませんでした。次に教授に会えるのはしばらく先になるので疑問が解消されずもやもやした感じです。何がまずいのかをご指摘ください。

No.1 回答者： sunasearch 回答日時： 2005/04/23 00:08

７（奇数）のカードのうらに四角が書かれている場合を見落としているからではないでしょうか。

２は偶数ですよ。

この回答への補足

いえ・・・奇数が書いてあったら、裏面が四角だろうと三角だろうと別に命題は満たしているので裏返す必要ないです。答えはあっています。理由がなぜ違うのかわからないのです。
（２の裏に四角が書いてあったら『四角ならば奇数』に反しますよね？）

補足日時：2005/04/23 00:23

No.2 回答者： 00t 回答日時： 2005/04/23 00:21

裏がえすのは□と７ではないですか？

２を裏返して、□でも△でも

カードのどちらかの面に四角形が書かれているならば反対側の面は奇数が書かれている

の証明にはならないと思います

この回答への補足

No.1で述べたように、２の裏が四角だったら命題を満たさないことになるので問題になります。
この問題は「命題が真であることを確かめろ」という問題なので必然的に「命題が偽でないことを示す」ということなので、偽でありうるものを探せばよい、ということだと思うのですが・・・

補足日時：2005/04/23 00:27

No.3 回答者： houng 回答日時： 2005/04/23 00:26

一つ一つみていくと、

２の裏に□が書かれていた場合、条件の『カードのどちらかの面に四角形が書かれているならば反対側の面は奇数が書かれている』は満たされません。ですので、２の裏を確認する必要があります。▽は裏が何であってもこの条件は満たされます。また、７の裏が何であってもこの条件は満たされています。（□ならば７は奇数でOKですし、□以外でも奇数であっていけないわけではありません。）ですので、４枚のカードが満たしていることを確かめるためには、最低限、□と２のカードを裏返す必要があります。
と答えれば良かったのではないでしょうか。

この回答へのお礼

やはり一つ一つ丁寧に書け、ってことだったんでしょうか。
ただ私としては上の解答で十分満たしていると思ったんですがね・・・

お礼日時：2005/04/23 00:38

No.4 回答者： matsu_jun 回答日時： 2005/04/23 00:27

本当に何が問題なんでしょう。

私もsioois様の回答で問題ないと思うのですが。。。
ひょっとしたらあれですか？「対偶」というキーワードが必要だったとか。
問題文にある命題の対偶である
「カードのどちらかの面に偶数が書かれているならば、反対側の面は四角形ではない」
を確認するために「2」のカードを裏返す必要がある。
といった記述が必要だったのかもしれませんね。
また、後ろの2つのカードを確認する必要が無い根拠も蛇足だとは思いますが書いてもよかったのではとも思ってみたり。
「片面に図形、その反対の面に数字が書かれていることから、▽のカードの裏面には□が書かれていることはあり得ない」
「7のカードの裏面が□であってもそうでなくても先述の命題を覆さない(これは本当に蛇足だと思いますけどね)」
何か全然アドバイスになっていなくて申し訳ありません。なんだか私自身ももやっとしてきました。
教授に会って確認ができたら是非とも補足欄にでも後日談を語っていただければと身勝手なお願いをしたいなと思いました。

この回答へのお礼

なるほど・・・もしかしたらその蛇足の部分が必要だったのかもしれません。
問題回収し終わった後、教授が以下のように言っていました。
「『最低限』って問題に書いてあるんだからそれを示さんとだめだぞ」

それでも、「（A⇒B）が偽である」⇔「Aが真∧Bが偽」である以上それを調べれば十分だ、というのは説明になってないんでしょうか・・・？
後日教授に質問できるまでは打ち切らないでおきますので。そのとき補足つけます。

お礼日時：2005/04/23 00:52

No.5 回答者： eatern27 回答日時： 2005/04/23 00:27

私は何もまずくないと思いますが。

。。

＞□と２のカードを裏返せばよい。
という結論は間違っていないので、理由の方がまずいんですかね。

「□の裏は奇数でなければいけない」
「２(偶数)の裏は四角形以外でなければいけない」

この２点を明示する必要があったのかもしれませんね。

この回答へのお礼

あーなるほど・・・そこまで説明しないとわからない、のかもしれませんね。

お礼日時：2005/04/23 00:55

No.6 回答者： sunasearch 回答日時： 2005/04/23 00:36

A⇒Bを偽としうるのはAが真でかつBが偽であるときのみであるため

Aが真でかつBが偽であり、と書くと、その対偶は
Bが真でありかつAが偽、となり、

この説明だと、Bが真、すなわち反対の面が奇数である７を裏返す理屈であるはずなのに、２を裏返すと書いたから、論理が矛盾していると解釈したのではないでしょうか。

正解は、＃５さんがおっしゃられる通りですね。

この回答への補足

＞Aが真でかつBが偽であり、と書くと、その対偶は
＞Bが真でありかつAが偽、となり、
？えっといまいちわからないのですが・・・（すみません）
対偶を取る必要があるのですか？
しかも対偶は（A⇒B)に対して定義されているのでは？

補足日時：2005/04/23 00:56

No.7 回答者： tasu9 回答日時： 2005/04/23 01:07

Ａ⇒Ｂの真偽の説明が足りなかったからじゃないですか。

真をＴ、偽をＦとすると、
□はＴ、２はＦ、▽はＦ、７はＴだから、

□のカードは、（ＴＴ）なら真、（ＴＦ）なら偽
２のカードは、（ＴＦ）なら偽、（ＦＦ）なら真
▽のカードは、（ＦＴ）でも（ＦＦ）でも真
７のカードは、（ＴＴ）でも（ＦＴ）でも真

これでいいと思いますよ。
ただし（　）の表記は、左がＡに対して、右がＢに対しての真偽です。

この回答へのお礼

そうですね。そこまで書けば満点だったかもしれません。
減点される理由はよくわかりませんが・・・
それはまた後日きちんと教授に話を伺います。
ありがとうございました。

お礼日時：2005/04/23 01:22

No.8 回答者： sunasearch 回答日時： 2005/04/23 01:08

表記が正確でなかったので補足します。

「A⇒Bを偽としうるのはAが真でかつBが偽」
という表現をもとに、カードをめくって確かめるときには、
Aが真⇒Bが偽　を確認するということになり、

数字の書かれているカードを確認する際には、
その対偶の

Bが真⇒Aが偽　を確認するという理屈になるのでは、
という意味です。

単純に、

A⇒Bが真となるばあいを確かめる、すなわち、
Aが真⇒Bが真
とその対偶
Bが偽⇒Aが偽
であることを確かめることを目的として、
Aが真である四角のカードと、
Bが偽である偶数のカードをめくればよい、

と書けばよかったのだと思います。

この回答への補足

「Aが真でかつBが偽」を確かめるのは「Aが真⇒Bが偽　を確認する」ことではないと思います。（“ならば”は意味が異なるはずです）

あと、「A⇒Bが真である」と同値なのは
「（Aが真∧Bが真）∨（Aが偽∧Bが真）∨（Aが偽∧Bが偽）」
です。つまり「真であることを確かめる」ならば上の三つのどれかであることを調べなくてはなりません。
（ただこの問題では偽であることを確かめれば解答としてじゅうぶんであるとおもうのですが・・・）

補足日時：2005/04/23 01:22

No.9 回答者： noname#24477 回答日時： 2005/04/23 01:27

教授の言葉からすれば「▽、７は裏返す必要が無い」と

いうことも触れてほしかったのかも知れませんね。
全部裏返しても間違いではない（確認できる）ので。

それは述べている理由から明らかと言ってしまえば、
何でも明らかで終わってしまいます。

でも、私もあなたの答でほとんど「明らか」だと思います
けれどね。

この回答へのお礼

結局そういう結論に至りそうですね。
詳しくは教授に聞いてみることにします。
あとこれからはこの教授の小テストでは多少くどいところまで解答書くようにします・・・

お礼日時：2005/04/23 01:35

No.10 回答者： sunasearch 回答日時： 2005/04/23 01:48

何度もすみません。

勘違いしてました。

他の理由としては、
「反対の面」が曖昧だからかと思います。

数字の反対の面とも解釈できますよね。