【滴……触发任务！

恭喜宿主的大道之路已经确立方向，软件商城已打开，请宿主在三十天内用二进制进行应用，可以用任意的形式完成一个成果。

奖励：软件商城的一张五折优惠券！】

久违的滴滴声响起，沈定溪精神一振，来不及仔细查看，旁边的师父问道：“你说你进行了一个试验，究竟是什么试验？”

问出这个问题，不知活了几百岁的开元真人竟有些迫不及待，他身旁站着的戴牧归也极其认真的看着沈定溪。

没什么不可说的，但要怎么说才能让人听懂呢？

沈定溪想了一阵，反问道：“师父，你在平常的研究中会经常感到语言对算术的局限吗？”

没想到沈定溪会问这个，但开元真人想到她所写的马青公式便明白了，在研究马青公式时，里面所运用的符号和定义让人着迷，他当时就有所启发，觉得这些符号和定义能够打破许多算术中的禁锢。

观察师父的神情，沈定溪满意的笑笑，而后说道：“可能是得益于马青公式的证明过程，我在无意中发现，若是将很多事物根据属性归于固定的范畴，就可以得出十分有趣的结论。”

开元真人不由陷入思索，戴牧归忍不住问道：“什么结论？”

“这样可以剔除掉语言中的许多悖论，净化语言。再加入符号，便可以让语言成为推理的工具。”

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

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

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

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

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

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

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

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

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

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

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

她见师父和师兄略作思考后都点点头，就继续讲下去，“上面的三段论换成语句，可以为，若所有的妖兽都是动物，所有的动物都是紫色的，那么所有的妖兽都是紫色的，这个结论也是有效的。”

开元真人有些异议，并不是所有的动物都是紫色的，沈定溪解释说是假设这个是真的，那么就可以得出结论。开元真人点点头便不再多说。

“那么，完全用符号将上述三段论表达出来，便是x=y，x=z，所以y=z。”

说的都是对的，但戴牧归忍不住出声，“师妹，你说的这些和季行书院修书道中的判官修士有些相像，这些修士就是靠着言灵术法掌握语言规则，来让陷入其中的人听其号令。但这些与我们数道有什么关系？”

沈定溪有些惊讶，原来有类似的言灵术法。她有些疑惑，“师兄，那下面的语句不知你是否了解，若L=小明把一沓银票忘在了客栈。F=小明的一沓银票在客栈找到了。W=小明昨晚在酒楼花了一张银票。P=昨晚花了银票后，小明把那沓银票放在了贴身的衣服里。H=小明从昨晚起就没有再用过他的那沓银票。s=小明的那沓银票仍然在他的贴身衣物里。”

她说道：“如果L,那么F。非F。W且P。如果W且P且H,那么S。H。得出结论：非L。S。”

这一段话很