問題もドラマもいまいちだったので省略。ロンリーロンリーロンリガークもﾖｸﾜｶﾝﾈ。
　論理学(数理論理学・記号論理学)
　文章、要素を記号に置きかえる。記号化。
ガンビーノ→Ｇ　フォーク→Ｆ　美術倉庫　→Ｘ　
〆さば　　→Ｓ　箸　　　→Ｈ　控え室　　→Ｙ
無法松　　→Ｍ　手　　　→Ｔ　地下駐車場→Ｚ

１．否定　〜Ｇ　　　　　Ｇ│〜Ｇ　　Ｔ→Truth
(Ｇなら真。〜Ｇなら偽) Ｔ　Ｆ　　　F→False

２．または　Ｓ∨Ｍ (orとxor)
　但し、orはまたはもしくは両方。xorはどちらか一方

３．ならば　Ｓ＞Ｍ　(if---then---)
→〜Ｘ＞〜Ｓ　これを対偶(初めて知る)

４．かつ　Ｇ∧Ｆ　(and)

５．真理値表　(truth table)　←これが今回の肝


　対偶の例
・箸なら小林⇔小林じゃないなら箸は使っていない。

　真理値表の書き方がいまいちよくわからなかった。ただ、これを使って推理小説も分析できると。プログラムを組んでやろうと思うと、これだけの作業が出来るように組まないといけないということか。別の面で見れば、問題をぱっと見れば答えがわかる人間の感覚は結構凄いとも言えるけれども。ボナンザじゃないけど。

　おまけの論理問題
　「ダンカンはうそつきだ」というダンカンはうそつきかどうか。
　答えはどちらでもない
　嘘つきでも、嘘をつかない人間でも矛盾がでるからなのか。