LESSON３ 三胞胎與模態邏輯（12/15）
戀與禁忌的述語論理 全一冊
「這個嘛……公理A1，『如果P，那麼I』，也就是『如果我的證言是正確的那麼衣莉奈在館內』的意思——如果P是正確的，那麼I也是正確的——意思就是說衣莉奈確實在館內——」
「喂喂。」
她用手指噗噗地戳著我的臉頰。
「你為什麼在考慮符號的意思啊？我不是一開始就教你了嗎？
數理邏輯學所做的是將邏輯形式化的工作形式化，換言之就是符號化。將邏輯符號化以後，即使不考慮它的意義，同樣能從結構性上評判它的正誤，這就是數理邏輯學。
你以為我們為什麼要費這個勁把公理給符號化？要是還考慮它的意義，那不是本末倒置了嗎？」
「但是，硯小姐，如果不考慮意義怎麼看Q也不是錯的啊——」
「所以這裡我們就要用上『推理規則』啦。數理邏輯學的『證明』實際上是一件非常機械性的工作。首先，我們定義最初的公理，然後機械性地應用推理規則，逐漸變形成邏輯式。然後導出我們的目標邏輯式，證明完畢。如果這個公理系統可靠且恆真，那麼我們導出的邏輯式也就為真。」
「推理規則——公理系統——可靠——」
我聽得像是個高燒病人似的眼冒金星。硯小姐的發言總是以穩定的品質提供困難，今天她狀態也相當好。
我眼珠滴溜溜地亂轉，看到她拿起放在一邊的手機，用手指在上面操作了一番，打開了某個網頁。
「給你，當作參考。」
她一邊說著一邊將手機遞給了我。畫面上是一排排神秘莫測的公式。
命題邏輯的形式證明。自然演繹NK。相繼式演算的LK系統。
∧引入規則。∨消去規則。緊縮右，緊縮左——
根本沒法拿來參考。
「硯小姐，我真的真的非常抱歉。但是容我放棄。」
「唉，已經不行了？還真是容易放棄的孩子……你的持久力也太差了吧。看來之後要好好給你加點作業了……
「沒辦法，時間緊迫，這次我就特別給你做個樣版看吧——」
硯小姐在我身後，像倚著我的後背似的站了起來。我能隱約感受到她的體溫。
但是——
「誰知道呢？雖然完全是假想中的存在，但是聽說詠彥也喜歡熟女來著？你名字首字母也是E誒，真是太巧了太巧了。原來世上還有這種偶然。」
「證明……另一個證明的正確性嗎？」
我沉默地望著硯小姐的臉。
……雖然就算自己這麼說，也還是不太了能理解。
「那麼，就去問問他本人好了。他的回答是肯定的。那這樣的話——」
我喘口氣——已經沒有喘氣的餘裕了。
「詠彥你是不是沒好好聽我說話？我剛才是說偵探的推理，可以被古典邏輯證明其正確性。」
這算是什麼……考試嗎？
這次也……（內容加載失敗！請重載或更換瀏覽器）