恋と禁忌の述語論理
雪山の洋館での殺人。犯人は双子のどちらか。なのにいずれが犯人でも矛盾。この不可解な事件を奇蹟の実在を信じる探偵・上苙丞（うえおろじょう）が見事解決ーーと思いきや、癒やし系天才美人学者の硯（すずり）さんは、その推理を「数理論理学」による検証でひっくり返す！！ 他にも個性豊かな名探偵たちが続々登場。名探偵を脅かす推理の検証者、誕生！ 大ヒットミステリー『その可能性はすでに考えた』はここから始まった！？
それは、「推理」でなく「検証」。
探偵を補完するもう一つの存在・推理の「検証者（ベリファイア）」、見参！
大ヒット『その可能性はすでに考えた』はここから始まった！？
雪山の洋館での殺人。犯人は双子のどちらか。なのにいずれが犯人でも矛盾。
この不可解な事件を奇蹟の実在を信じる探偵・上苙丞（うえおろじょう）が見事解決
ーーと思いきや、癒やし系天才美人学者の硯（すずり）さんは、その推理を「数理論理学」による検証でひっくり返す！！
他にも個性豊かな名探偵たちが続々登場。名探偵を脅かす推理の検証者、誕生！
『その可能性はすでに考えた』『探偵が早すぎる』の
大人気作家・井上真偽のメフィスト賞受賞作、ついに文庫化！
レッスン1「スターアニスと命題論理」
レッスン2「クロスノットと述語論理」
レッスン3「トリプレッツと様相論理」
進級試験「恋と禁忌の……？」
巻末資料
解説 佳多山大地
関連小説
大学生の詠彦は、天才数理論理学者の叔母、硯さんを訪ねる。独身でアラサー美女の彼女に、名探偵が解決したはずの殺人事件の真相を証明してもらうために……。詠彦が次々と持ち込む事件ーー「手料理は殺意か祝福か？」「『幽霊の証明』で絞殺犯を特定できるか？」「双子の『どちらが』殺したのか？」--と、個性豊かすぎる名探偵たち。「すべての人間の思索活動の頂点に立つ」という数理論理学で、すべての謎を証明できるのか!? 解決したはずの殺人事件。 癒やし系数理論理学者の証明で 世界は反転する……!! 真実は、演算できる。 大学生の詠彦は、天才数理論理学者の叔母、硯さんを訪ねる。独身でアラサー美女の彼女に、名探偵が解決したはずの、殺人事件の真相を証明してもらうために……。 詠彦が次々と持ち込む事件ーー「手料理は殺意か祝福か？」「『幽霊の証明』で絞殺犯を特定できるか？」「双子の『どちらが』殺したのか？」--と、個性豊かすぎる名探偵たち。「すべての人間の思索活動の頂点に立つ」という数理論理学で、硯さんはすべての謎を、証明できるのか!? レッスンI「スターアニスと命題論理」 レッスンII「クロスノットと述語論理」 レッスンIII「トリプレッツと様相論理」 進級試験 「恋と禁忌の……？」 巻末資料 2015/01/08 発売
