人狼ゲームの嘘つきは誰か、落語「風が吹けば桶屋が儲かる」を論証するとどうなるか、ヒット曲の「誰もが誰かを愛している」は「真　ｔｒｕｅ」なのか。知的好奇心をくすぐる問い、わかりやすい図解、コンピュータと論理学の関係といった話題を通じて、誰でもいちから楽しく学べる入門書。
もくじ情報：第一部　意味の世界から論証の世界へ（論理学の言語を導入する；真理表によって意味を説明する；自然演繹の入り口；述語論理を一瞥する）；第二部　論証の世界から計算の世界へ（証明木を枝刈りする―証明の正規化；普遍記号学の夢と現実）

岡田　光弘(オカダ　ミツヒロ)
慶應義塾大学名誉教授。文学博士。専門は哲学、論理学、デジタル・ＡＩ環境の安全性・公正性研究