LESSON１ 八角与命题逻辑（10/11）

这时「将逻辑的粒度精细化」，也就是将『公理』精细化到可辨细节的程度，以使得针对「此公理是否正确」的验证，得以在高精度下进行，她所做的就是这种事。

这怎么说呢——

感觉麻烦死了。

但是，对还算是「侦探」的人物所做的推理进行「验证」，这种程度的辛劳想来也是无法避免的。

「那么，这就是那位花店侦探小姐所做出的推理的形式表现。摆在我们面前的有两件事。其一是，确认是否可以从这些公理和推理规则中导出结论。其二是确认此处列举的比条公理，是否全部都是正确的。

「第一项，『从公理中利用推理规则导出结论』的部分，也就是『证明』的部分，这次我会特意做给你看。咏彦你要看好了，记住我是怎么做的。」

于是谜团的说明书，在我面前展开了。

我只觉得眼前一黑。

……期末考试吗？

「这便是『形式证明』。虽然这种证明也可以用叫做『相继式验算』的另一种算式来表达，但这回我就用根岑的方法来写了。用什么随心情而定。」

「其实做起来也挺简单的，首先将文句置换为符号，然后将之后的公理用这种符号来重新写一遍，最后只要机械的套用上推理规则就搞定了。如果能导出最后作为结论的命题或逻辑式，证……（內容加載失敗！請刷新或更換瀏覽器）