LESSON１ 八角與命題邏輯（10/11）
戀與禁忌的述語論理 全一冊
這時「將邏輯的粒度精細化」，也就是將『公理』精細化到可辨細節的程度，以使得針對「此公理是否正確」的驗證，得以在高精度下進行，她所做的就是這種事。
這怎麼說呢——
感覺麻煩死了。
但是，對還算是「偵探」的人物所做的推理進行「驗證」，這種程度的辛勞想來也是無法避免的。
「那麼，這就是那位花店偵探小姐所做出的推理的形式表現。擺在我們面前的有兩件事。其一是，確認是否可以從這些公理和推理規則中導出結論。其二是確認此處列舉的比條公理，是否全部都是正確的。
「第一項，『從公理中利用推理規則導出結論』的部分，也就是『證明』的部分，這次我會特意做給你看。詠彥你要看好了，記住我是怎麼做的。」
於是謎團的說明書，在我面前展開了。
我只覺得眼前一黑。
……期末考試嗎？
「這便是『形式證明』。雖然這種證明也可以用叫做『相繼式驗算』的另一種算式來表達，但這回我就用根岑的方法來寫了。用什麼隨心情而定。」
「其實做起來也挺簡單的，首先將文句置換為符號，然後將之後的公理用這種符號來重新寫一遍，最後只要機械的套用上推理規則就搞定了。如果能導出最後作為結論的命題或邏輯式，證明就成功了。公理全部為真的話，所證明的邏輯式也一定為真。」
我看著眼前的草算本，心情像是被拉去看牙醫的小孩子似的。
她剛才的做法我好像哪一條都沒記住。以至於我都開始頭疼了。
「——這樣一來，第一項就搞定了。接下來是第二項——」
硯小姐再次拿起了草算本，翻到了前一頁。
「這是本次驗證最核心的部分。確認這些公理是否全部全部正確。
既然已經確認了這些公理確實能導出結論，那麼如果七條公理都是『正確的』，那麼結論也就自然是正確的了。反過來看，倘若有哪怕一條是錯誤的，那麼結論也就談不上正確了。
「那麼脈彥，你怎麼看？你覺得那位花店美少女偵探小姐融出的推理，能稱得上是全部基於正確的公理嗎？」
聽了硯小姐的問題，我暈頭轉向地反覆讀著草算本上的文字。有那麼一會兒，我覺得自己彷彿在讀高考選擇題的題干一樣。
……原來如此。
硯小姐神色如常，微笑頷首。
「這世上經常發生沒必要的故意殺人。像是恐怖襲擊或是無差別殺人狂，總不能說都不是故意的吧？所以在我看來，公理7並非是可以稱得上公理的東西。
「正是如此。」
「我之前所說的『還挺暖心』，就是指這部分。花店偵探小姐根據動機所做出的推理，很多都是構建在這種貧弱的公理上。儘管當然，在……（內容加載失敗！請重載或更換瀏覽器）