恋与禁忌的述语论理:千本樱推理文库02 恋と禁忌の述語論理

真相乃是，可以演算的。大学生咏彦前来拜访他身为天才数理逻辑学家的小姨，砚小姐。为了让这位三十岁的单身美女，证明本应被名侦探解决了的杀人事件之真相。咏彦一次次带来了不同的案件——“亲手制作的料理是杀意还是祝福？”“‘幽灵的证明’能否锁定绞杀犯的身份？”“双胞胎中‘哪个人’犯下了凶案？”——以及解决这些案件的，个性过于鲜明的名侦探们。站在人类所有思维活动顶点的数理逻辑学家砚小姐，能否将全部谜题一一证明？