記号論理学で次の問題を解くにはどうしたらいいでしょうか。

質問

記号論理学で次の問題を解くにはどうしたらいいでしょうか。
グリッドではなく論理記号を使って解く過程が知りたいです。

A,B,Cの３つの人形がある。髪の色はそれぞれ異なり，茶、ブロンド，黒である。
１．Cは黒髪ではない。
２．ブロンドの髪の人形はAではない。
３．黒髪の人形はAではない。

それぞれの人形の髪の色は？

回答No.1

noname#152421 · ベストアンサー

X={A,B,C}
Y={茶,ブロンド,黒}
fをXからYへの任意の単射

として１．～３．の条件を書き下してみるとこの条件で三体の色が決まることがわかります。
簡単なので自分で計算してみてください。

記号論理って、どこまで要求したいのかわかりませんけど、その証明の過程を論理式に翻訳すればいいんじゃないでしょうか？

お礼

ありがとうございます。
単射、全射というものがあることを初めて知りました。
導き方は確かに単射を使うと簡単ですね。
論理式にするには述語論理が必要なのでしょうか。
もう少し勉強してみます。