ゲームの犯人探しから、ヒット曲の分析、論理とコンピュタの関係まで、基本と発展を一冊で味わう。
人狼ゲームの「うそつき」は誰か、落語「風が吹けば桶屋が儲かる」を論証するとどうなるか、ヒット曲の「誰もが誰かを愛している」は「真 true」なのか。

知的好奇心をくすぐる問い、わかりやすい図解、コンピュータと論理学の関係といった話題を通じて、誰でもいちから楽しく学べる入門書。