出版社内容情報
大ヒット『その可能性はすでに考えた』『探偵が早すぎる』著者・井上真偽のデビュー作、ついに文庫化！ 伝説はここから始まった！それは、「推理」でなく「検証」。
探偵を補完するもう一つの存在・推理の「検証者（ベリファイア）」、見参！
大ヒット『その可能性はすでに考えた』はここから始まった！？
雪山の洋館での殺人。犯人は双子のどちらか。なのにいずれが犯人でも矛盾。
この不可解な事件を奇蹟の実在を信じる探偵・上苙丞（うえおろじょう）が見事解決
ーーと思いきや、癒やし系天才美人学者の硯（すずり）さんは、その推理を「数理論理学」による検証でひっくり返す！！
他にも個性豊かな名探偵たちが続々登場。名探偵を脅かす推理の検証者、誕生！
『その可能性はすでに考えた』『探偵が早すぎる』の
大人気作家・井上真偽のメフィスト賞受賞作、ついに文庫化！
レッスン１「スターアニスと命題論理」
レッスン２「クロスノットと述語論理」
レッスン３「トリプレッツと様相論理」
進級試験「恋と禁忌の……？」
巻末資料
解説 佳多山大地
井上 真偽［イノウエ マギ］
著・文・その他
内容説明
雪山の洋館での殺人。犯人は双子のどちらか。なのに何れが犯人でも矛盾。この不可解な事件を奇蹟の実在を信じる探偵・上苙丞が見事解決―と思いきや、天才美人学者・硯は、その推理を「数理論理学」による検証でひっくり返す！！他にも個性豊かな名探偵たちが続々登場。名探偵を脅かす推理の検証者、誕生！
著者等紹介
井上真偽［イノウエマギ］
神奈川県出身。東京大学卒業。『恋と禁忌の述語論理』（本書）で第５１回メフィスト賞を受賞。第２作『その可能性はすでに考えた』は２０１６年度第１６回本格ミステリ大賞候補に選ばれた他、各ミステリ・ランキングを席巻。続編『聖女の毒杯 その可能性はすでに考えた』でも「２０１７本格ミステリ・ベスト１０」第１位を獲得した他、「ミステリが読みたい！２０１７年版」『このミステリーがすごい！２０１７年版』「週刊文春ミステリーベスト１０ ２０１６年」にランクイン。さらに２０１７年度第１７回本格ミステリ大賞候補と「読者に勧める黄金の本格ミステリー」に選ばれる。また同年「言の葉の子ら」が第７０回日本推理作家協会賞短編部門の候補作に（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
