恋と禁忌の述語論理

概要

雪山の洋館での殺人。犯人は双子のどちらか。なのに何れが犯人でも矛盾。この不可解な事件を奇蹟の実在を信じる探偵・上苙丞が見事解決ーと思いきや、天才美人学者・硯は、その推理を「数理論理学」による検証でひっくり返す！！他にも個性豊かな名探偵たちが続々登場。名探偵を脅かす推理の検証者、誕生！