第六章-谐之道(1/3)
“为什么啊！”王崎抱着脑袋苦苦思索。
为什么我的必杀技会变成马赛克斩呢？
这不科学啊！
薄筱雅凑到王崎身边，问道：“师兄，你这一剑在外面用过吗？——你知道的，有时候自己悟出的招🏁🗉式会存在一些问题无法成立，然后再这里，无法成立的招式就会出现那种无规律的混乱画面。”
“我这🕷🎍🏳一招就🟂🚓是‘成立’啊，怎么可能不成立。🃔”王崎哭丧着脸：“而且我在外面明明用过！”
薄筱雅食指抵着额角，思索道：“难道是与仙盟现有法🞬🗌🚎术完全不一样，算器推演不出效果？不至于啊？除非是极少数加权十的顶尖大术📈，算器才不能在短时间内解析☋♛——而加权十的大术全部都在灵犀库里，也不需要解析……不会吧……师兄，这难不成是新的顶尖术法？”
王崎摇头：“没可能的，我见过加权🐙⛽☑十的术法，天灵岭妖女艾轻兰的命之炎……我这剑术只有‘一剑’，怎么看也做不到命之炎那样。”
“一剑的效果？”薄筱雅歪着脑袋看向王崎：“这是什么🎪📶🟕意思？🅶”
“我剑法的基础的一阶逻辑演算……谓词逻辑这个你能够理解吗？”由于打定主意要和薄筱雅合作搞概率论，王崎已经将对方当自己人看待了，也不隐瞒自身杀招：“我的剑法就是取自谓词逻辑的，只有一阶、一剑。但是这一剑是绝对成立的，完备的。只不过反过来说，因为是谓词逻辑🃅🕝，🁉所以只能有一🗂😰🅄剑。”
在谓🗺词逻辑中，原子命题分解成个体词和谓词。个体词是可以独立存在的客体，它可以是具体事物或抽象的概念。谓词是用来刻划个体词的性质或事物之间关系的词。量词，是在命题中表示数量的词🄦，量词有两类：全称量词（?），😸🆎表示“所有的”或“每一个”；存在量词（?），表示“存在某个”或“至少有一个”。只包含个体谓词和个体量词的谓词逻辑称为一阶谓词逻辑，简称一阶逻辑，又称狭义谓词逻辑。
一阶谓🕷🎍🏳词逻辑非常简陋，🗴☋♢简陋到🛬🟢🞵甚至无法准确描述一个概念，“界定自然数”这种简单的事情都超出了一阶谓词逻辑的能力范围。
但是，根据王崎证明的哥德尔完备定理，或者说，神州的王崎完🅶备定理，只有一阶谓词逻辑是完备的，所有一阶谓词演算下的有效命题都🅄🄄🞓可以证明。
因此，仅限一剑的话，那绝对成立⛻的一剑🗿却由着无可匹敌的威力！
王崎一本正经的说道：“你应当记住，在这个系统里，一说就错，一想就谬，能够阐述这个道理📜的，除了我那篇论文，就只有这‘一剑’。”
也就是说，这一剑不能配合任🖼😁何🛬🟢🞵精妙剑法，不能包含任何变化，只能是“一剑”。
薄筱雅被唬得连连点头。问道：“这么厉害的一剑，师兄有没有取名字？”
“就‘一阶剑’啊。”
薄筱雅一脸错愕，怒道：“这么厉害的简述☛⛰怎么能有这样的名字。”
王崎轻笑：“你😳🅙还真是在这种无关紧要的地方特别执着啊。”
“💸哪有。”薄筱雅难得脸红：“这可是师兄你第一个定理啊，而且我个人觉得，这必定⚪是了不得的定理。这样了不起的定理自然会衍生出了不起的一剑，然后这一剑也得配一🖹个了不起的名字……”
为什么我的必杀技会变成马赛克斩呢？
这不科学啊！
薄筱雅凑到王崎身边，问道：“师兄，你这一剑在外面用过吗？——你知道的，有时候自己悟出的招🏁🗉式会存在一些问题无法成立，然后再这里，无法成立的招式就会出现那种无规律的混乱画面。”
“我这🕷🎍🏳一招就🟂🚓是‘成立’啊，怎么可能不成立。🃔”王崎哭丧着脸：“而且我在外面明明用过！”
薄筱雅食指抵着额角，思索道：“难道是与仙盟现有法🞬🗌🚎术完全不一样，算器推演不出效果？不至于啊？除非是极少数加权十的顶尖大术📈，算器才不能在短时间内解析☋♛——而加权十的大术全部都在灵犀库里，也不需要解析……不会吧……师兄，这难不成是新的顶尖术法？”
王崎摇头：“没可能的，我见过加权🐙⛽☑十的术法，天灵岭妖女艾轻兰的命之炎……我这剑术只有‘一剑’，怎么看也做不到命之炎那样。”
“一剑的效果？”薄筱雅歪着脑袋看向王崎：“这是什么🎪📶🟕意思？🅶”
“我剑法的基础的一阶逻辑演算……谓词逻辑这个你能够理解吗？”由于打定主意要和薄筱雅合作搞概率论，王崎已经将对方当自己人看待了，也不隐瞒自身杀招：“我的剑法就是取自谓词逻辑的，只有一阶、一剑。但是这一剑是绝对成立的，完备的。只不过反过来说，因为是谓词逻辑🃅🕝，🁉所以只能有一🗂😰🅄剑。”
在谓🗺词逻辑中，原子命题分解成个体词和谓词。个体词是可以独立存在的客体，它可以是具体事物或抽象的概念。谓词是用来刻划个体词的性质或事物之间关系的词。量词，是在命题中表示数量的词🄦，量词有两类：全称量词（?），😸🆎表示“所有的”或“每一个”；存在量词（?），表示“存在某个”或“至少有一个”。只包含个体谓词和个体量词的谓词逻辑称为一阶谓词逻辑，简称一阶逻辑，又称狭义谓词逻辑。
一阶谓🕷🎍🏳词逻辑非常简陋，🗴☋♢简陋到🛬🟢🞵甚至无法准确描述一个概念，“界定自然数”这种简单的事情都超出了一阶谓词逻辑的能力范围。
但是，根据王崎证明的哥德尔完备定理，或者说，神州的王崎完🅶备定理，只有一阶谓词逻辑是完备的，所有一阶谓词演算下的有效命题都🅄🄄🞓可以证明。
因此，仅限一剑的话，那绝对成立⛻的一剑🗿却由着无可匹敌的威力！
王崎一本正经的说道：“你应当记住，在这个系统里，一说就错，一想就谬，能够阐述这个道理📜的，除了我那篇论文，就只有这‘一剑’。”
也就是说，这一剑不能配合任🖼😁何🛬🟢🞵精妙剑法，不能包含任何变化，只能是“一剑”。
薄筱雅被唬得连连点头。问道：“这么厉害的一剑，师兄有没有取名字？”
“就‘一阶剑’啊。”
薄筱雅一脸错愕，怒道：“这么厉害的简述☛⛰怎么能有这样的名字。”
王崎轻笑：“你😳🅙还真是在这种无关紧要的地方特别执着啊。”
“💸哪有。”薄筱雅难得脸红：“这可是师兄你第一个定理啊，而且我个人觉得，这必定⚪是了不得的定理。这样了不起的定理自然会衍生出了不起的一剑，然后这一剑也得配一🖹个了不起的名字……”