在南方，与密布森王国有着一国之隔的小国——托尔特王国，因它的一个小城——晶榴城而出名。

　　小国中的小城，却很出名，最容易让人联想到的是宗教。

　　然而晶榴城并不是什么宗教的中心，它的另一个名字叫做『推理之都』。

　　在这座城的每个大门前，都有一块超大的石碑，上面用大小匹配的字体写着一句话：『只有懂逻辑的人才能进入本城』。

　　首先，在普通人关注的众多生活问题上，晶榴城都没有什么优势。生活在里面的人还会因为城小而遇到各种各样不方便的事情。

　　既然它在别的方面都不吸引人，能够吸引人的地方就只有其特点本身了。

　　作为举世闻名的推理之都，在城门处就设有考场，考试题目当然是与逻辑相关的。例如，这样的题目：

　　题目：假如石碑上的句子『只有懂逻辑的人才能进入本城』正确，那么意味着什么？（不定项选择）

　　A. 除非一个人懂逻辑，否则他不能进入本城。

　　B. 对于任意一个人，要么他懂逻辑，要么他不能够进入本城。

　　C. 本城中的人都懂逻辑。

　　D. 只要一个人懂逻辑，他就能进入本城。

　　——这是一道中等偏简单难度的测试题。正确答案是A，将它做错的人大概是拿不到晶榴城通行证的了。

　　曾经有人被这道题卡死不能进城，不禁大声喊出『为什么！』，旁边路过的门卫一看题目，顺口解释道：

　　「假如『你懂逻辑』是P，『能进城』是Q，题目这句写的就是Q→P」

　　「为什么不是P→Q？」

　　「……」

　　没有共同语言了。

　　「哦，哦，好像是Q→P，我重新做一下……」

　　一分钟后。

　　「为什么答案是A！我觉得是ABC啊？」

　　「我倒是想问你为什么会想进我们城？不觉得会被骗吗？」

　　「……你给我讲一下吧」

　　门卫觉得，这题完全就是看一眼口算出结果的那种，居然要讲。不过，闲来没事就说一说好了。

　　A选项翻译过来是『-P→-Q』（负号表示『非』），它与『Q→P』表示的是同样的意思。不管用『假言易位式』还是『逆否命题性质』都说得通。

　　B选项翻译过来是『P异或-Q』，它与『P或-Q』不同，而后者才等同于『Q→P』，所以错误。

　　C选项肯定不对，因为它没有办法用P和Q表示，推不出来。

　　D选择是标准的『P→Q』，当然错。

　　「不定项竟然答案是单选……」

　　「因为太简单了呀，也就骗骗你这种不懂不相容选言……或者是对语义不敏感的人了」

　　正如门卫所说，晶榴城其实一点都不吸引对逻辑不感兴趣的人，大家在说话的时候也可能相当地不解风情和咬文嚼字。

　　相反，在那些认为严谨性最高、且享受与兴趣相同的人生活的人看来，这里就是天堂。

　　既然是小城，那就只让最喜欢最擅长这方面的人进城，维持这个小圈子才好。因此题目当然要出得很难，正确率的要求也超高。

　　不过要是只想要申请一个临时入城证的话，答一些像刚才那种比较简单的题就行。如果简单的都答不对……那就没办法了。

　　* * * * *

　　多数情况下，算命之都新玉城只在密布森王国比较出名，但推理之都的名号是世界级，等级不太一样。

　　这是因为，在正确的前提条件下，玄学的计算结果通常有对有错，逻辑学的计算结果则是确定的——要么求出正确的结果，要么求不出结果。除非推理的时候发生了人为失误。

　　在一次推理中，推理者会信任所有的初始条件，然后一步步地推出能够得到的结论。在这一过程中，大量的逻辑学知识会被使用，且每个推理者求得某个特定结论的真假值应该相同。

　　所以，限制推理人结论正确性的因素一般只有两个：条件的完善性和正确性；问题的复杂性。

　　当逻辑学家遇到不懂逻辑的人时，解释得最多的话之一便是『我们不保证前提的正确性！』。不过，逻辑学家其实比谁都希望自己拿到的初始条件正确，毕竟花上大把精力进行推导的是他们自己呀。

　　可是，逻辑学家将注意力放在推理上之后，通常他们获得真相的能力要弱于其他人。而且，各种各样的真相是需要由科学家、社会学家等专业领域的人负责发现的，逻辑学家只能被动地选择相信其他专业学者所得出的结论。如果这份作为基础的结论出了问题，那推理大概是白推了。

　　有的时候，真相也难以获取。于是『大胆假设，小心求证』便成了一些逻辑学家的口头禅。多假设几个场景然后都推一推总是值得的。

　　各种各样千奇百怪的前提条件，只要将它们交给逻辑学家，随后的结论就能像被工厂中的机器那样稳定地产出来。当前提条件确实正确时，这些结论通常是极度可信的，可以作为新的信息指导其他学科。

　　——而这，就是推理之都出名的原因。

　　仅仅是受到上个题目C选项的启发，有人就能在城外推出了一个很容易验证的结论，那就是『在晶榴城中新生的孩子多数都会在城中生活很长一段时间』。

　　原因很简单。首先石碑上只是说『只有懂逻辑的人才能进入本城』，如果没有『进入』这一动作呢？孩子的出生中应该不包含传统的入城动作，因此与这句话没有关系。

　　但是，一旦孩子出了城，要想再回来，可就有麻烦了。虽然『出城』动作是自由的，但『入城』动作可不是。几岁的孩子要想做对那些逻辑题很难很难。

　　有人怒骂这实在是太死板，可在逻辑学家看来这相对比较好接受。

　　而且，孩子的悟性很好。从小开始在城中培养逻辑思维能力的话，长大后这方面就会是远超常人的特长。也就是说，遇到逻辑问题时能够用直觉在一瞬之间解决。

　　除了孩子以外，被吸引而来的大逻辑学家们也是高手中的高手。久而久之，推理之都就真的成了世界瞩目的名城，无数人都期望城内的推理家们帮助他们，一般的形式是『给定一组初始条件，推出一些有用的结论，越多越好』。——这个叫做『推理委托』。

　　推理委托的内容不一定是逻辑学家们感兴趣的，因为顾客的语言、需求等既含糊又不规范，有时推理内容也不有趣。大家只是为了赚钱才接的委托。

　　兴趣变成工作后常常会让人感到厌烦。既然完成推理委托不是高手们喜欢做的事，那么必定有一些作为兴趣爱好的推理计划。

　　是的。不只是叶雪凌，米莉以及她的前世们（除了初代）都对此印象深刻。……那一大袋一大袋的推导过程都是写的她们。

　　『关于地理符文，格拉丝大人知道些什么吗？』

　　虽然可以大胆假设，但知道的事情果然还是越多越好。无论多么厉害的逻辑学家都逃不过收集信息的步骤呢。

　　『嗯，绿叶之神并不是一个喜欢处在主导地位上的神，它更加喜欢辅助，给予人们更多的机会。也正因如此，现有的社会结构、国家局势等都尽量不会受到冲击，除非我们人类和精灵自己做了些什么改变它们的事情』

　　格拉丝的回答很流利，说的话还不少。

　　如果说为了保守些什么而向逻辑学家们说出真相是不对的，那么说出半真半假甚至无法验证真假的话恐怕比不说要更好。毕竟他们可不知道到底有几个条件是假的、几个是真的，……这又不是做题。之后在推理的时候想必会误入歧途吧。

　　『您的意思是说，地理符文是谁充分地理解了神的意图而设计的吗？』

　　『没错。你们也觉得那种粗糙的东西不可能出自神之手吧？』

　　——不过，格拉丝好像突然就诚实起来了，说了些之前没怎么说过的话。

　　「大姐！您指的是……」

　　「没问题，我心中有数」

　　有些事甚至连水晶球队都不知道。他们五个可是密布森绿叶教的五大主教啊。

　　这也说明，晶榴城的那帮人指名格拉丝是非常正确的。

　　然而，无论如何，格拉丝可以选择拒绝这场会议，也可以选择在回答问题的时候编造谎言。为什么会暴露『神使』——也就是祝福系统功能设计者——的存在呢？

　　『……好啦，说了这么多，你们也得交出一点好东西吧？』

　　推理之都能拿出的好东西当然只有各种各样的信息和猜测。有趣的是，为了不损害自身的形象和地位，城里的那些顶流逻辑学家在给出信息的时候，通常会附上一份最多有书那么厚的推理过程记录，以表明自己的结论并不是胡编乱造。否则和那些随意造谣的人又有什么区别。

　　格拉丝所说的好东西，自然是与她的领主身份有关的。不过除此之外，她还想要有关绿叶教和祝福系统的各种信息。知己知彼才是正道。

　　最后，五位主教都再一次地认识到了，自己究竟有多么嫩——

　　分量相当于几百本书的推理之都资料，包括机密类型的和各种总结报告，就这么给拿到手了？怪不得大姐这么轻松地接受了这次会议请求。

　　还有……好像逻辑学家说话时还挺正常的。是不是努力地忍住了呢！