質問: 命題論理の問題の解き方と答えがわかりません。 ユニコーンが架空の動物ならそれは不死である. ユニコーンが角を持っていれば魔 法を使うことができる. ユニコーンが架空の動物でなければ死ぬ運命にある. ユニ コーンが架空であるか, あるいは死ぬ運命ならば角を持っている. ユニコーンは架 空の動物か?魔法が使えるか?角を持っているか? 命題論理で示せ. この問題の解き方、答えを教えてください。
回答: ユニコーンが架空の動物ならそれは不死である. ...(1) ユニコーンが角を持っていれば魔法を使うことができる. ...(2) ユニコーンが架空の動物でなければ死ぬ運命にある. ...(3) ユニコーンが架空であるか、あるいは死ぬ運命ならば角を持っている. ...(4) 推論式の書き方を知りません。 ...ので、ステップ・バイ・ステップなら? (1), (3) と (4) から、(架空か否かによらず) 角を持つ。 ならば (2) から、魔法を使える。 ユニコーンは架空の動物か? → わからん。(判断用命題を欠く) 魔法が使えるか? → 使える。(上記) 角を持っているか? → 使える。(上記)