倚天中文网

手机浏览器扫描二维码访问

第十一章 逻辑证明（第2页）

随后他又开始讲解起了几何学的基本公设和公理，当巨子问道公设与公理有何不同时，戴言这样解答：“公设就是我所设定的初始命题；譬如说这一条：任何一条直线都可以无限延长，这就是最基本的命题。

然而公理则是反复的实践检验是真实的，并且不需要由其他判断加以证明的命题和原理；譬如我所说的这一条：两点之间线段最短。

先生设想一下，假如您身边有一条狗，你手上有一块肉，您把肉朝着一个方向扔出去，那么这条狗必然是直接冲过去把肉吃掉，它肯定是不会饶几圈再过去的吧？这种道理连狗都知道，又何况是人呢？”

戴言把线段公理比作为狗都能知道的道理，一时间整个大厅内众人都是大笑不已。

随后戴言又开始讲到了定理，这个其实就已经算是几何学的核心了。

当他说道了那个著名的驴桥定理的时候，虽然在场众人中不乏墨家顶尖的学者，然而确实有人就是无法理解为何圭形（等腰三角形）的两个底角必然相等。

这使得巨子大怒，直骂这些家伙都是笨蛋，因为在他看来，像这么简单的证明年轻的公子已经一步一步明明白白的指出来了，结果他们还是无法搞懂，这就是脑袋没不开窍啊。

随后戴言就见到了墨家残酷的一面。

那些通不过“驴桥”

的人，全部都被巨子罚去面壁，巨子直言：什么时候能理解了什么时候方可休息。

而那些被体罚的人则全都是二话不说，立即服从。

“巨子，您这要求也太严了吧？”

戴言直接就问道。

田鸠吩咐了他的随行弟子拿出一卷竹简，递给了戴言。

戴言接过一看，却是墨家里的名篇：大取与小取。

随后田鸠又吩咐弟子递给戴言一卷竹书，却是墨家的墨经。

“这里的大取与小取，正是在下所作，在下作此大小取，正是为辩而作也。

而墨经，乃是我墨家墨子之后前辈所作，其中之义也多为与别家之辩，更为求世间之真理。

然而吾从公子处学得此测地之法，发觉其中之精髓实乃公子所言之逻辑证明。

逻辑证明如此简单明了，然却为世间之真理，让人辩无可辩。

故有公子之逻辑证明在，吾之大小取，我墨家之墨经可尽弃矣。”

田鸠带着一副悲凉的表情说道。

“巨子万万不可。”

戴言连忙阻止道。

开玩笑，大小取乃至墨经，那可都是中华文明的瑰宝啊。

中华文明里关于逻辑的知识除了墨家也就只有名家有了，更何况他还有事想求墨家呢，哪里敢让巨子尽弃其学问？

“巨子可知，此逻辑证明虽然简单明了，然而它亦是需要文字作为支撑的。

诚如巨子所言，小子先前所言之学问吾称其为几何，而逻辑则是几何的基础，目前这些学问不过仅仅是小子心里的一点想法，哪里能比得过墨家众前辈那样推衍多年之智慧呢？”