戀與禁忌的述語論理

真相乃是，可以演算的。

大學生詠彥前來拜訪他身為天才數理邏輯學家的小姨，硯小姐。

為了讓這位三十多歲的單身美女，證明本應被名偵探解決了的殺人事件之真相。 ^[1] 

詠彥一次次帶來了不同的案件——

“親手製作的料理是殺意還是祝福？”

“‘幽靈的證明’能否鎖定絞殺犯的身份？”

“雙胞胎中‘哪一個’犯下了兇案？”

——以及解決這些案件的，個性過於鮮明的名偵探們。

站在人類所有思維活動之頂點的數理邏輯學家硯小姐，能否將全部謎題一一證明！？ ^[1] 

井上真偽，是日本正當紅的推理小説家，作品有《戀與禁忌的述語論理》、《那種可能性早已料及》、《聖女的毒杯》。井上真偽的作品趣味性很強，適合年輕讀者。 ^[1] 

Lesson I 八角與命題邏輯 9

Lesson II 交叉結與謂詞邏輯 121

Lesson III 三胞胎與模態邏輯 201

升級考試 戀與禁忌的？…… 353

卷末資料 384

解讀 389 ^[1] 

千本櫻文庫 (共4冊), 這套叢書還有 《虛構推理》,《那種可能性早已料及》,《聖女的毒杯》 ^[1]