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