• ベストアンサー

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

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

質問者が選んだベストアンサー

  • ベストアンサー
  • shkwta
  • ベストアンサー率52% (966/1825)
回答No.11

問題の構造から見ると、次のようなことになっています。 -------------------------- 4枚のカードをC1, C2, C3, C4とし、それぞれ□,2,▽,7が書いてあることがわかっています。 『カードxに□が書いてある』をA(x), 『カードxに奇数が書いてある』をB(x)とします。 真偽を求めたい命題Pは (A(C1)⇒B(C1))∧A(C2)⇒B(C2))∧(A(C3)⇒B(C3))∧(A(C4)⇒B(C4)) A(C1)は真ですから、A(C1)⇒B(C1)の真偽は B(C1)に一致 B(C2)は偽ですから、A(C2)⇒B(C2)の真偽は A(C2)の否定に一致 A(C3)は偽ですから、A(C3)⇒B(C3)は真 B(C4)は真ですから、A(C4)⇒B(C4)は真 B(C1)の真偽とA(C2)の真偽は現時点で不明であるため、Pの真偽を求めるには最低限C1とC2を裏返す必要があります。 -------------------------- 上の説明は解答としては詳しすぎるかもしれません。しかし少なくとも、4枚のカードに書かれた数字・記号が、それぞれPの真偽にどう影響するかを言わないと、説明にならないと思います。この点を、ご解答に簡単に補足するとすれば、次のようになると思います。 >□と2のカードを裏返せばよい。 >(理由)『カードに□が書かれている』という命題をA、「反対の面が奇数」という命題をBとすれば、 4枚のカードですべてA⇒Bが真であることを確かめる必要がある。 >A⇒Bを偽としうるのはAが真でかつBが偽であるときのみであるため ▽のカードと7のカードではA⇒Bが真なので、裏返す必要がない。□のカードと2のカードではA⇒Bの真偽が不明なので、裏返す必要がある。

sioois
質問者

お礼

なるほど。確かにこの問題は(A(C1)⇒B(C1))∧A(C2)⇒B(C2))∧(A(C3)⇒B(C3))∧(A(C4)⇒B(C4))の真偽判定問題、と捉えるのが一番正確ですね。 それを考えると各々の真偽に関して説明があったほうがいいわけですか。 そう言われると確かに説明不足である気もしますね。

全文を見る
すると、全ての回答が全文表示されます。

その他の回答 (11)

  • sunasearch
  • ベストアンサー率35% (632/1788)
回答No.1

7(奇数)のカードのうらに四角が書かれている場合を見落としているからではないでしょうか。 2は偶数ですよ。

sioois
質問者

補足

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

全文を見る
すると、全ての回答が全文表示されます。

関連するQ&A

  • 論理の問題

    「a^2+b^2=0⇒a+b=0」は真 の理由が分かりません。 この命題が真である理由を教えてください。

  • 論理数学で条件節が理解できない

    命題Aが真のときに命題Bが偽ならばなんでA→Bが偽になるんですか? 理解しかねます わかりやすく説明しているサイトを教えてください。

  • 「命題AとBには論理積の関係がある」←正しい言い方

    命題Aと命題Bについて次の4つの関係が成り立つ時、 A∧B→真 A∧¬B→偽 ¬A∧B→偽 ¬A∧¬B→偽 下記の言い方は合ってますか? 1.「AとBには論理積の関係がある」 2.「AとBの論理積は真であり、AとBの否定論理積は偽である」 より適切なものがあれば教えて下さい。

  • 論理数学

    論理記号「ならば、→」は、前提が偽であるとき、結論が真あるいは偽にかかわらず含意命題が真と定義される。 の理由がわかりません。わかりやすく教えていただけないでしょうか。

  • 命題とその対偶、真偽について

    高校数学のある命題についてです。 a,b が整数であるとき、以下の命題があります。 ・命題:   a*b が奇数のとき、aまたはbのどちらか一つが奇数である。 このとき、命題について対偶を考えます。 まず、「a*bが奇数である」 の否定は 「a*bが偶数である」 また、「aまたはbのどちらか一つが奇数」の否定は 「aが奇数 または bが奇数」の否定なので、ド・モルガンの法則より 「aが偶数 かつ bが偶数」、つまり「a,bの両方が偶数」 となり、本命題についての対偶は以下の様になると考えました。 ・対偶:   a,bの両方が偶数のとき、a*bは偶数となる。 この命題の対偶は真となりますが、命題は疑となると思います。 一般的に命題とその待遇の真偽は一致するはずなので、 何かが間違えているのではないかと思っています。 (1) 命題は真? (2) 対偶のとり方が間違えている? (3) 対偶は真ではない? (4) 命題と対偶の真偽は一致しない? 大変困っております。どなたか教えて下さい。お願いいたします。

  • 命題について。

    命題と証明についての質問です 「A,K,13,48」のカードがあり、文字の裏には数字が書いてあることがわかっている。「母音の裏は必ず奇数である」どういう仮説が真か偽かを調べるために最低限どのカードをめくればいいか ご教授いただけないでしょうか?すみません。

  • 論理学の問題なのですが

    この問題のときかたを教えてください。 論理式が真か偽か、偶然的かを判定して真式にはA,偽式にはB、偶然式にはCを。 (1) ~pVq⊃q (2) ~(pVq)≡(p&q) (3) (p⊃q)V(~q⊃~p) (4) ~(p&q⊃(~p⊃q)) (5) (~pVq)&(q⊃r)⊃(p⊃r)

  • 論理学の問題

    A「Bが嘘つきだがCは正直だ」 B「Cは正直者だ」 C「Aは嘘つきだ」 この中で正直者は一人だけである。 命題変数A、B、Cでそれぞれが正直者であることを表すと A→¬B∧C B→C C→¬A と表せる。真理値表を用いて3つの式が真となるケースを 求めることで正直者が誰かを推定しなさい。 という問題なのですが、真理値表を作ってもよく分かりません。 誰か教えて下さい。

  • 論理演算の問題です

     AとBがあって、どちらかが真でどちらかが偽のとき、A・Bはなぜ0になるんですか? 存在しないということですか? ベン図を見てもAでなくBである部分は存在しています。

  • "1+1=2"→"13は素数である" は真か偽か

    "1+1=2"→"13は素数である" は真ですか?偽ですか? 偽であるのなら,反例は何でしょうか? 真であるのなら,新たな疑問がわきます. その新たな疑問というのは, A→Bが真 であるのなら,ヴェン図で言うとAはBにスッポリ包まれているはずですが, "1+1=2"は"13は素数である"に包まれていない気がするのです.(言い換えますと,13が素数である理由は1+1=2であるからではない気がする) 包まれていなくても真と言えるのでしょうか? そもそも "1+1=2"→"13は素数である" は命題ではないのでしょうか? よろしくお願いいたします.