と置く．このとき (1) i.e. (2) i.e. i.e. TT ① TF ② FT ③ FF ④ に対して，可能世界を考える． (1)について ① ③ ④ (2)について ③ ④ したがって，太郎は犯人ではないことがわかるが，次郎については何とも言えない．

と置く．このとき次の性質をみたすなら，何がいえるのか示せ． (1) (2) (3) (4) i.e. (5) (6) (解答) TTT ① TTF ② TFT ③TFF ④FTT ⑤FTF ⑥ FFT ⑦ FFF ⑧に基づき可能世界を考える． (1)について ① ② ③ ④ ⑤ ⑥ ⑦ (2)について ⑤ ⑥ ⑦ ⑧ (3)について ③ ④ ⑦ ⑧ (4)につ…

とする．このとき以下から言えることは何か？ (1) (2) (3) (4) (解答) 真理表 TTT ① TTF ② TFT ③ TFF ④ FTT ⑤ FTF ⑥ FFT ⑦ FFF ⑧ で可能世界を考える．(3)について，このままだと後件の真理値はFなので，可能世界すべてを消去しなければならず，それだと(1)…

(1) (2) とする．このとき何が言えるか命題論理で犯人を捜せ． (解答) (1)を記号化すると (2)を記号化すると i.e. (ド・モルガンの法則) いま真理値の組合せは ① ② ③ ④ である．このとき (1)の可能世界は①,②,③ (2)の可能世界は③ であるので，両者の共通世界…