逻辑推理三题

直言三段论格的特殊规则在运用中的缺陷,并不在于有人所说的运用它去判别一个三段论正确与否时,无法判别出“四概念”的错误,而在于遵守了三段论格的特殊规则并不能保证一个三段论形式的正确性(有效性),仅仅运用三段论格的特殊规则还不能判明一个三段论形式究竟是正确的还是错误的。     

三段论的语言表达式及其分析

三段论也叫直言三段论,它是由包含一个共同项的两个直言命题作前提,推出一个新的直言命题作结论的演绎推理.三段论由大前提、小前提和结论三部分构成,并且包含三个不同的词项:大项(P)、中项(M)和小项(S).在思维中,这三部分及三个不同的词项不能多也不能少,而且其排列顺序必须前提在前,结论在后,大前提在前,小前提在后.三段论能否推出必然结论,决定于它是否符合三段论的规则,符合规则而能推出必然结论的三段论形式称为有效式,否则就是无效的.三段论共有24个有效式,这就是第一格的AAA、EAE、AII、EIO、AAI、EAO式;第二格的AEE、EAE、AOO、EIO、AEO、EAO式;第三格的AAI、EAO、AII、EIO、IAI、OAO式;第四格的AAI、AEE、EAO、EIO、IAI、AEO式.这24个有效式以外的三段论(如果也称为三段论的话)都是无效式或非标准形式的三段论.本文不打算讨论三段论规则及其有效性,只就三段论的丰富多彩的语言表达式,其中包括非标准形式作点初步的探讨,以求教于大家.     

三段论的“E、I”检验方法

三段论的“Ｅ、Ｉ”检验方法是一种全新的检验方法。它只需用类似算术加减法一样的运算，就能简捷、快速地检验三段论是否有效     

关于三段论规则的思考

关于三段论的一般规则,我国出版的逻辑书一般都讲以下七条: 规则1 一个三段论只能有三个不同的项。 规则2 中项至少要周延一次。 规则3 前提中不周延的项在结论中不得周延。 规则4 从两个否定的前提不能得出结论。 规则5 如果前提有一个是否定的,则结论应是否定的。     

联合演算对传统直言推论的系统化

本文确定了联合演算的初始符号、形成规则、定义、公理和基本推理规则。以此为出发点，本文对传统直接推论和传统直言三段论作出系统化处理，证明传统对当关系的所有有效式、传统逻辑中的简单换位、传统换质法推理式、传统换质位法推理式、传统戾换法的全部有效式以及传统直言三段论二十四个有效式在本联合演算系统中都是定理。     

三段论和归纳法在亚里士多德哲学和修辞学中的不同运用

三段论和归纳法在亚里士多德的思想体系中具有两种完全不同的运用：在哲学中归纳法为三段论提供真实必然的初始前提，三段论保证推理过程的必然性，其结果是科学知识；在修辞学中，归纳法表现为例证，三段论表现为论证，两者都不要求必然性，其结果是说服。亚里士多德对于三段论和归纳法的两种运用确立哲学和修辞学的紧密联系，促进了修辞学的诞生。     

拓扑一般Boole格连续性的等价定理

不难知道,关于拓扑Boole格现有的邻域定义(如[3]的规定)是不能概括拓扑空间上有关邻域的那些结果的。如[3]中叙述的那样,甚至连T_0分离性概念都不能推广到拓扑Boole格中去。这注定了现有的邻域定义是必定要被淘汰的。本文在[1]—[5]的基础上引入了拓扑一般Boole格的范闭集、范开集及范邻域的定义,这些定义与文献[4]里的那些定义一样使得拓扑空间上有关邻域及包括T_0分离性在内的各种分离性的结果可以推广到拓扑一般Boole格上(当然更可以推广到拓扑Boole格上)。本文实现了将拓扑空间连续性等价的主要基泰定理推广到拓扑一般Boole格上。     

二元二次方程组的一般解法

关于解二元二次方程组,我们可以见到各种特殊解法[1]、[2]、[3],它们都是根据不同的具体情况,使用不同的技巧,这往往造成应用上的困难,认真研究各种特殊解法就会发现,它们的实质是对原方程进行了这样一个同解变换:乘以一个适当的常数,然后使方程之间进行加减,由此得出可线性分解的新的同解方程组。运用这种观点,本文把解法一般化,不仅对特殊情形不再用“技巧”去解,而且提供了一个与传统的一般解法[1]、[2]、[3]不同的更灵活的一般解法。     

关联规则挖掘的一种多剪枝概念格方法

多数据源上关联规则挖掘方法,由于各数据节点间相互通信的候选项集数目过于庞大或者挖掘过程需要对数据库进行多次扫描,导致挖掘算法效率不高。研究剪枝概念格(pruned con-cept laffice,PCL)中概念与频繁项集表示关系,定义剪枝格上的导出频繁项集,设计了一个利用多剪枝概念格从多数据源上挖掘近似所有关联规则的算法UMPCL(union algorithm of multiplepruned concept lattice)。利用一个频繁概念表示一些频繁项集以减少挖掘过程中产生的侯选项集数,使用与全局支持度相等的局部支持度对各子概念格进行剪枝,最后融合、剪枝各子剪枝格并提取全局关联规则。理论分析和实验验证表明该算法是有效的。     

如何保持挖掘机液压油的清洁

对于全液压式的挖掘机而言，可以说液压系统就像人体的血液循环系统一样遍布整个挖掘机，它包含了液压油箱、主泵、多路阀、各管路及执行各动作的油缸、马达等部件，这些液压部件都是经精密加工而成的，它们对液压系统的维护有较高的要求，如果维护不当或不予维护将导致故障的发生。造成机器停机，也给您带来损失。     

模糊滤基收敛理论的推广

文[1]对模糊拓扑空间上的滤基收敛理论进行了研究。本文把文[1]的某些结果推广到了拓扑分子格之上，得到了一些结果。由于一般拓扑空间及模糊拓扑空间都是拓扑分子格的特殊情况，所以，这些结果具有比较广泛的适用性。     

基于概念格的数据挖掘方法研究

分析了概念格与关联规则之间的关系,提出了将频繁项集及其支持度存储在概念格上,然后在创建好的概念格上提取关联规则的方法,概念格的每个节点本质上是一个最大项目集,非常有利于关联规则的提取。然而目前对于概念格的研究,一般都假定由属性集所组成的概念格的内涵同等重要,而在现实数据库中,组成内涵的属性重要性往往是不同的,因此,内涵并非同等重要。为了充分利用概念格实现关联规则提取,提出了一种新的概念格结构:加权概念格,并给出其渐进式构造算法及基于该格结构上的关联规则提取算法。     

自由现金流计算方法研究

对于净现值折现法（NPV）研究折现率的较多，一般要求对折现率进行多方面的考虑调整，以期找到一个最准确的折现率，这当然是必要的。然而，如果用于折现的现金流量有问题，即使采用了准确的折现率，其结果也将不会正确，可以预见用这样的结果来进行投资决策判断将是一个错误的判断。因此有必要研究用于折现的现金流量的正确概念和计算方法。本文对自由现金流的计算、计算方面的注意事项和应用检验三个方面进行了研究，同时对折现率的使用给出了一些建议。     

多功能启动盘初探

创建一般启动盘的方法有6种，其原理都是把用于引导Windows的系统件拷贝到软盘的0磁道0扇区上．不同的方法创建的启动盘，都能用来启动计算机，但启动时附带的功能却不一样，适用的场合也不一样．使用还能在启动盘上编辑或拷贝一些特殊件，制作具有多种功能的启动盘．     

网络聊天语言--电子时代的时尚语言

网络是一个特殊的语境,在这里既可以使用一般的社会流行语言,也产生了一些具有特色的网络语言。特别是在网络聊天中,不断地产生新奇、简洁和有趣的语词。网络语境是一个虚拟的环境,网络环境中的交流,是用视觉器官去感受听觉语言。     

汉语四音格、四音格词、四音节词辨析

四音格是指结构上固定（包括可拆分和不可拆分两类），意义上是一个整体，或并列，或偏正，或补充的一种语法格式。四音格词指的是意义上只表达一个整体概念，结构上凝固且不可拆分的四音格，其功能完全等同于一个词。我们所说的四音格词只是四音格中作为词使用的一种特殊类型。四音格词与四音节词在结构上也有区别。前人对四音格结构的研究不是很多，尤其是长期未意识到四音格里存在四音格词。本文提出细分四音格的各种形式，并重点鉴别和描写汉语的四音格词。     

实UFD上的几类格序矩阵代数

设Z是整数环,如果(Mn(Z),+,×,≥)(n≥3)是一个格序环,则它也可以作为Z模有一个含有n2个元的vl-基B.如果B中恰有n2-n-1个幂零元时,本文确定了Mn(Z)上的格序代数的同构类型(见定理3.4),而且我们将该结果推广到实数中一般的唯一因子分解环R上(见定理3.5).另外,如果在Mn(R)上的一个格序代...     

鸽巢原理的妙用

考虑到一些非一一对应的离散关系的充分性判别问题,由于不具有一个完美的充分性判别定理,对于一些比较特殊的问题,若用一般的数学方法去讨论,往往很复杂或根本解不出来。但如果能巧妙使用一些已经证明过的原理,往往能起到事半功倍的效果。此文重点介绍了如何巧妙使用鸽巢原理解决一些非一一对应的离散关系的充分性判别问题的方法,对提高应用能力意义重大。     

用前向神经网络获取特定结构的规则知识

介绍一种用前向神经网络来获取特定结构的产生式规则知识的方法，这些规则知识既可以用于解释神经网络的行为，又可以用于问题求解，获取的产生式规则知识可以是任意形式的，也可以是包含多个推理步的多级推理链知识，而且具有所需的易于理解的特一表达结构，另外，文中还提出了解决智能系统形成过程中知识不断增长问题的方法，大量的逻辑表达式学习实验结果表明，文中获取规则知识的方法是有效的。     

论聚合与推理的顺序

给定一组推理规则，可以先把这组规则聚合为一个超规则，然后依此超规则进行推理；也可先分别依据各给定规则进行推理，然后将所得结果进行聚合。本文证明了这两种方法都可以是相容的，并指出Ｂｕｃｋｌｅｙ与Ｈａｙａｓｈｉ关于前者一定不相容的论断是错误的。