メフィスト賞

恋と禁忌の述語論理

井上真偽

大学生の詠彦は、名探偵が解決した事件を天才数理論理学者の叔母・硯に持ち込む。雪山の洋館での殺人など、一見決着したはずの推理を数理論理学で検証すると、別の景色が現れる。個性的な探偵と検証者の応酬を描く連作。