LESSON３ 三胞胎与模态逻辑（12/15）

「这个嘛……公理A1，『如果P，那么I』，也就是『如果我的证言是正确的那么衣莉奈在馆内』的意思——如果P是正确的，那么I也是正确的——意思就是说衣莉奈确实在馆内——」

「喂喂。」

她用手指噗噗地戳着我的脸颊。

「你为什么在考虑符号的意思啊？我不是一开始就教你了吗？

数理逻辑学所做的是将逻辑形式化的工作形式化，换言之就是符号化。将逻辑符号化以后，即使不考虑它的意义，同样能从结构性上评判它的正误，这就是数理逻辑学。

你以为我们为什么要费这个劲把公理给符号化？要是还考虑它的意义，那不是本末倒置了吗？」

「但是，砚小姐，如果不考虑意义怎么看Q也不是错的啊——」

「所以这里我们就要用上『推理规则』啦。数理逻辑学的『证明』实际上是一件非常机械性的工作。首先，我们定义最初的公理，然后机械性地应用推理规则，逐渐变形成逻辑式。然后导出我们的目标逻辑式，证明完毕。如果这个公理系统可靠且恒真，那么我们导出的逻辑式也就为真。」

「推理规则——公理系统——可靠——」

我听得像是个高烧病人似的眼冒金星。砚小姐的发言总是以稳定的品质提供困难，今天她状态也相当好。

我眼珠滴溜……（內容加載失敗！請刷新或更換瀏覽器）