恋与禁忌的述语论理_2019年北京时代华文书局出版的图书

恋与禁忌的述语论理

2019年北京时代华文书局出版的图书

《恋与禁忌的述语论理》是一部由[日]井上真伪所著推理小说，北京时代华文书局出版发行。

内容简介

真相乃是，可以演算的。

大学生咏彦前来拜访他身为天才数理逻辑学家的小姨，砚小姐。

为了让这位三十多岁的单身美女，证明本应被名侦探解决了的杀人事件之真相。

咏彦一次次带来了不同的案件——

“亲手制作的料理是杀意还是祝福？”

“‘幽灵的证明’能否锁定绞杀犯的身份？”

“双胞胎中‘哪一个’犯下了凶案？”

——以及解决这些案件的，个性过于鲜明的名侦探们。

站在人类所有思维活动之顶点的数理逻辑学家砚小姐，能否将全部谜题一一证明！？

作者简介

井上真伪，是日本正当红的推理小说家，作品有《恋与禁忌的述语论理》、《那种可能性早已料及》、《圣女的毒杯》。井上真伪的作品趣味性很强，适合年轻读者。

Lesson I 八角与命题逻辑 9

Lesson II 交叉结与谓词逻辑 121

Lesson III 三胞胎与模态逻辑 201

升级考试恋与禁忌的？…… 353

卷末资料 384

解读 389

丛书信息

千本樱文库 (共4册), 这套丛书还有《虚构推理》,《那种可能性早已料及》,《圣女的毒杯》

参考资料

最新修订时间：2023-07-15 18:24

条目作者

概述

内容简介

作者简介

参考资料