LESSON１ 八角與命題邏輯（8/11）
戀與禁忌的述語論理 全一冊
「說得沒錯，雖然有若干細微的差別，但從邏輯學角度來講A2與A是相同的。『如果我是美女就會受歡迎』，與『我是一個美女』，等於所以我受歡迎——這整個思考過程的縮略形式就是『我是個美女所以受歡迎』對吧。
B則僅是單純敘述了一個『如果我是美女就會受歡迎的吧』的推測。然後與之相對的A，則在其上追加了『我是個美女』這樣的自我認知。這就是A『非常自戀』的理由。
在邏輯學上，我們一般可以將『A所以B』的邏輯關係置換為『如果A那麼B 與 是A』的邏輯關係。當然，其他的接續詞可以用這種方式來進行置換。」
……原來如此。
我倒是從沒妄想過邏輯學可以解析人的深層心理，但還是有些吃驚。「∧與」 、「 ∨或」 、「 ⇒如果……那麼」 、「 -非 」——僅僅用四種邏輯符號，竟然就能表現人類所有的邏輯嗎？
所謂人的邏輯——竟然，是如此簡單的東西。
我有些戰戰兢兢地抬起頭，硯小姐正用虛無的眼神凝視著某處的虛無。
「……我是個美女所以，很孤獨……」
看來她確實是挺自覺的。對於沒朋友這事也很自覺。
不過，倒的確都是事實。
■ 命題·邏輯式·真值表
「那麼，邏輯符號的說明就到此結束了……」
硯小姐站起身來，又拿過來了一張紙。就是最開始那張「筆記紙」。
「那麼我們來複習一遍這個問題吧？」
【解答如下可滿足性問題】
A：我在浴室中。
B：我在倉庫中。
C：我在廚房的壁櫥上。
D：我不在家中任何地方。
邏輯式：
所以如果在這裡用剛才的推理規則，也就是 『Modus Ponens』的話，就可以導出Q了。
硯小姐回望著我，臉上寫滿了「啥然後？然後啥？」
【命題】「可判斷正確或錯誤的文句（主張）」。題目中的「我在浴室中」和「我在倉庫中」之類的句子就是所謂的「命題」。
當時只有C為真這件事令我大驚失色——正確答案是「我在廚房的壁櫥上」。我還難以置信地來回來去驗算了好幾遍呢。
硯小姐忽然止住了話頭。我臉上寫滿了「然後呢」？
將這個「推理規則」——補足？
遵從硯小姐的命令，我開始做出說明。
不要考慮例句的意義，將之徹底作為「符號」來理解？
A1）我是個三十歲的女人。
「這是因為詠彥理解了這些句子的『意義』。數理邏輯學別名也叫『符號邏輯學』或是『形式邏輯學』，這是因為我們將邏輯以符號化的形式來進行考量的緣故。將邏輯符號化，消解其意義，徹底化為單純的形式化的符號操作，並以此導出目標邏輯式——這就是數理邏輯學上所說的形式證明。
空調的轟鳴……（內容加載失敗！請重載或更換瀏覽器）