还不赶快来体验！！！

        让语言成为推理的工具，这有什么用呢？又与算术有什么关系？

        开元真人与戴牧归都双眉紧皱，万分不解的看着沈定溪。

        他们都认为，算术的研究对象是数字和图形，推理只是一种工具，并不是值得研究的对象。

        沈定溪解释，“语言可以进行推理，进而成为想算术推理一样的形式，若是有了合适的工具，是不是所有的语言都可以成为算术推理呢？进而推理，语言逻辑可以被计算出来。”

        到此，开元真人和戴牧归已经不知道沈定溪在说什么了，两人都用陌生的目光看着她。

        沈定溪抽了抽嘴角，她放弃了理论上的讲解，直接举了一个例子，“那么师父，你们可以这样理解。若是我将一些名词定义为一些符号，例如将马当做x，将动物当做y。可以这样表示：

        所有马都是动物，可以对应为，所有x都是y。还可以以此类推，

        没有树是动物，没有x是y。

        有些马是纯种马，有些x是y。”

        对于这个例子，开元真人和戴牧归两人都学习过马青公式，因此很容易便理解了。

        沈定溪继续讲解，“那么请来判断一个三段论是否正确。所有x都是y，所有y都是z，那么所有x都是z这个结论是不是正确呢。”

        内容未完，下一页继续阅读