prozorec https://blog.hatena.ne.jp/prozorec/ 隠居日録 https://prozorec.hatenablog.com/ 読書 ミステリー 井上真偽氏の恋と禁忌の述語論理を読んだ。本書は連作短編で、「スターアニスと命題論理」、「クロスノットと述語論理」、「トリプレッツと様相論理」の三つのミステリーと「恋と禁忌の……？」のおまけの４編が収録されている。本書はミステリーなのだが、その趣向は探偵が推理した結論をアラサーのセミリタイアした論理学者が論理学により検証し、その瑕疵を指摘して、新たに謎を解くということだ。大学生の森帖詠彦がアラサーの叔母の硯もとに謎を論理学で検証できるかと相談を持ち掛けることで物語は進んでいく構成が共通している。「スターアニスと命題論理」では「毒殺と事故死を論理的に見分けることは可能か」と聞き、「クロスノットと述… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fprozorec.hatenablog.com%2Fentry%2F2020%2F05%2F21%2F070000" title="恋と禁忌の述語論理 - 隠居日録" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://images-na.ssl-images-amazon.com/images/I/51ejGJR%2BXxL._SY344_BO1,204,203,200_.jpg Hatena Blog https://hatena.blog 2020-05-21 07:00:00 rich https://prozorec.hatenablog.com/entry/2020/05/21/070000 1.0 100%