- ベストアンサー
記号論理学で次の問題を解くにはどうしたらいいでしょうか。
記号論理学で次の問題を解くにはどうしたらいいでしょうか。 グリッドではなく論理記号を使って解く過程が知りたいです。 A,B,Cの3つの人形がある。髪の色はそれぞれ異なり,茶、ブロンド,黒である。 1.Cは黒髪ではない。 2.ブロンドの髪の人形はAではない。 3.黒髪の人形はAではない。 それぞれの人形の髪の色は?
- suttanipat
- お礼率51% (28/54)
- 数学・算数
- 回答数1
- ありがとう数1
- みんなの回答 (1)
- 専門家の回答
質問者が選んだベストアンサー
- ベストアンサー
X={A,B,C} Y={茶,ブロンド,黒} fをXからYへの任意の単射 として1.~3.の条件を書き下してみるとこの条件で三体の色が決まることがわかります。 簡単なので自分で計算してみてください。 記号論理って、どこまで要求したいのかわかりませんけど、その証明の過程を論理式に翻訳すればいいんじゃないでしょうか?
関連するQ&A
- 記号論理学 真理表
命題論理の件でも質問させていただいております。 今回は真理表についてわからなくて、大変困ってしまっています。「記号論理入門(新装版)前田昭二」と言う大学の教科書を見て、下記のような回答を私なりに考えたのですが。。。どなたか、わかる方、どうぞ教えてください。宜しくお願いいたします。 問題 次の論理式の真理表をかけ (a) A→(B→A)の真理表 A、B、B→A、A→(B→A) ∨、∨、∨、∨ ∨、∧、∨、∨ ∧、∨、∧、∧ ∧、∧、∨、∧ (b){¬A→(A→B)}⇔B の真理表 A 、B、¬A、A→B、¬A→(A→B)、{¬A→(A→B)}⇔B ∨、∨、∧、∨、∨、∨ ∨、∧、∧、∧、∧、∧ ∧、∨、∨、∨、∨、∨ ∧、∧、∨、∨、∧、∧ 罫線をこの投稿欄で使えないため、表の中の 点(、)の場所が罫線が引いてあるものと思っていただけますと、幸いです。 大変読みづらくて、申し訳ありません。
- ベストアンサー
- 数学・算数
- 至急!論理学の問題で困ってます!
論理学の問題で困っています。 以下の推論の記号化を推論規則や置換規則を用いて妥当性の形式的証明を行いなさい。尚、構成的ディレンマを用いずに証明しなさい。 とあります。どなたか証明方法がわかるかたがいらっしゃいましたら、解答お願いします。 1A⊃(B・C) 2D⊃(B・E) ∴(A∨D)⊃[(B・C)∨(B・E)]
- 締切済み
- 恋愛相談
- 青光りするまでの黒髪にしたい・・・
こんにちは。 現在カラーリングで茶色(赤系)の髪をしています。 前回から時間が経っているので10cmくらいプリンちゃんになってきています。 そろそろこの色にも飽きてきたので、黒髪にしたいと思います。 ただの黒髪ではつまらないので、日本人形のような「黒」というか、まさに「青光りするくらいの黒」にしたいのですが、一回でできるのでしょうか? はっきり言うと、「青光りする黒」にしたいです。 無茶でしょうか? 痛んでいる部分もあるので一度で変えたいのですが・・・ どなたかよろしくおねがいします!
- ベストアンサー
- ヘアケア・ヘアスタイル
- 集合と論理の問題です
こんにちは。 集合と論理の問題で、頭を抱えております。 どなたか、分かりやすい解説をおしえていただけませんか。よろしくお願いします。 問 ・AならばBである。 ・AでないならばCである。 ・DでないならばCでない。 以上の3つの命題から正しく導かれる結論は、次のうちどれか。 (1)BでないならばDである。 (2)CならばBでない。 (3)DならばBでない。 (4)CならばBである。 (5)BならばDである。 正解は(1)となっております。
- ベストアンサー
- 数学・算数
- 論理回路の問題
3入力1出力の多数決論理回路を2入力NAND回路を用いて論理回路を作れという問題なのですが、 真理値表 a b c f 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 論理関数 f=a・b+a・c+b・c までは分かっているのですが、2入力NAND回路を使って論理回路をどのように作ればよいかわかりません。どなたかアドバイスください。よろしくお願いします!
- ベストアンサー
- その他(学問・教育)
- 2値論理の命題の問題がわかりません!!
次の文章の中で、2値論理の命題はどれか。また、命題の時、その真偽について答えよ 1.明日は晴れるだろう 2.三角形は直角三角形である 3.この文は命題ではない 4.√2は有理数である 5.猫または鳥は翼をもっている 6.ab=0 iff a=0∧b=0 7.a=b=c iff a=b∨b=c という問題です 分かる方はぜひ教えてください
- 締切済み
- 数学・算数
- 論理力
論理力を鍛える問題をやっておりますが次の問題が回答を見てもまったく理解できません。どなたか、なぜ回答どうりになるか論理的に説明をよろしくお願いいたします<m(__)m> 問 A,B,Cはペンをそれぞれ1本以上持っています。AとBのペンの合計は 8か9です。BとCの合計は7か8です。 このとき、 (1)AとCの合計が6なら、Bは何本? (2)AとCの合計が7なら、AとCはそれぞれ何本? 答え (1)5本 与えられた条件を満たす組み合わせは次の2通り A B C 3 5 3 4 5 2 したがってBは5本。 (2)与えられた条件を満たす組み合わせは次の2通り A B C 4 4 3 4 5 3 したがってAは4本、Cは3本
- ベストアンサー
- 日本語・現代文・国語
お礼
ありがとうございます。 単射、全射というものがあることを初めて知りました。 導き方は確かに単射を使うと簡単ですね。 論理式にするには述語論理が必要なのでしょうか。 もう少し勉強してみます。