逻辑定理在科技管理中的应用

讨论并举例介绍了几种常见的命题逻辑推理,包括假言推理(充分条件假言推理、必要条件假言推理、充分必要条件假言推理)、尽举选言推理(尽举相容选言推理、尽举反相容选言推理、尽举不相容选言推理)、非推导逻辑定理(不矛盾定理、排中定理)等在科技管理中的应用。在科技管理中应用逻辑定理理论会更有利于搞好科技管理工作。     

二难推理及其应用

二难推理是假言选言推理的一种，是由两个假言判断和一个两肢的选言判断为前提所构成的复合判断推理。是人们在辩论时经常运用的一种推理形式。通过这种推理，辩论者的一方提出一个具有两种可能的大前提，对方不论肯定或否定其中哪一种可能，结果都会陷人一种进退维谷的境地。例如：中世纪的神学家们曾经荒谬地宣称：上帝是无所不在、无所不知、无所不能的，我们这个世界就是由这个全知、全能、全善的上帝创造出来的。对此，当时就有人提出来一个问题：上帝能否创造一块连他自己也举不起的石头？并对这个问题作了如下推论；如果上帝能创造出…     

关于不相容选言判断的几个问题

据何断定选言判断选言支间相容与否，涉及到不同的逻辑哲学本体论的承诺。现代逻辑形式系统与传统逻辑应用系统所预设的本体层次是不同的。作为逻辑教学体系的普通逻辑对选言支间相容与否的本体判定，是传统逻辑应用层次的事实存在裁定；现代形式逻辑中之所以没有严格析取的判断形式，是用合取与析取的综合方式进行了取代；不相容选言判断是对思维实际的抽象概括，具有非形式性质，运用形式化析取符号表述排中律，存在矛盾；不相容选言判断的负判断的等值判断，不只有(p∧q)∨(┐p∧┐q)一种形式，还应有(p∧q)∨(┐p∧┐q)的形式，从思维实际论，(p∧q)∨(┐p∧┐q)的形式，更贴近日常思维，更利于研习者理解。     

也谈复合命题

我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题，有不同的观点。应从“真假决说”角度来定义复合命题；复合命题是其中还包含命题，而且其真假由所包含的命题决定的命题；应采取给联言命题、假言命题下定义同样的“反映说”方式来定义两种选言命题；相容选言命题是反映若干事物情况可以同存并且至少有一个存在的选言命题、不相容选言命题是反映若干事物情况不能同存，至少有一个而且至多有一个存在的选言命题；应持“两立说”来对待不相容选言命题，不能对V进行结合运算，这是f10这一真值函项本身的性质使然，不影响不相容选言命题的存在。     

选言判断、选言推理与决策

(一) 选言判断是断定事物的至少两个可能情况以供人们选择的复合判断。例如: (1)“我们此后实在只有两条路:一是抱着古文而死掉,一是舍掉古文而生存。” (2)劳动生产率的提高或者是由于生产工具的改进,或者是由于劳动者生产技术的提高,或者是由于生产过程中的其它改进使劳动合理化。这就是两个选言判断。选言判断所包括的判断叫选言肢,每个选言肢反映事物的一种可能情况。根据选言肢可否同真,选言判断可分为相容的选言判断与不相容的选育判     

对两种负复合命题的等值命题的辨正

长期以来,我国高等学校流行的普通逻辑教科书,都把负不相容选言命题和负充要条件假言命题的等值命题看作是由两个联言命题为选言肢所构成的相容选言命题,如:在全国有广泛影响的《普通逻辑)就认为:"并非(要么P要么q)"的等值命题是"(q并且q)或者(非q并且非q)",即qVq什(pAq)V(户八万)O;"并非(当且反当p才q)"的等值命题是"或者(p并且非q)或者(非p并且q)",即灭了万0(pAl)V(lAq)O。笔者认为这是不妥的。它们的等值命题应该辨正为以两个联言命题为选言肢所构成的不相容选言命题。一、关于负不相容选言命题的等值命题我们知道,一个不相容选言命…     

对两种负复合命题的等值命题的辨正

长期以来,我国高等学校流行的普通逻辑教科书,都把负不相容选言命题和负充要条件假言命题的等值命题看作是由两个联言命题为选言肢所构成的相容选言命题,如：在全国有广泛影响的《普通逻辑）就认为："并非（要么P要么q）"的等值命题是"（q并且q）或者（非q并且非q）",即qVq什（pAq）V（户八万）O;"并非（当且反当p才q）"的等值命题是"或者（p并且非q）或者（非p并且q）",即灭了万0（pAl）V（lAq）O。笔者认为这是不妥的。它们的等值命题应该辨正为以两个联言命题为选言肢所构成的不相容选言命题。一、关于负不相容选言命题的等值…     

论聚合与推理的顺序

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

论聚合与推理的顺序

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

浅淡负选言判断的等值判断

很多逻辑书都套用德摩根律“否定选言得联言,否定联言得选言”,笼统的概括:负选言判断等值于一个相应的联言判断。这易犯以偏概全的错误。     

选言命题与析取运算——从布尔代数看3种不同的析取运算

运用逻辑知识分析选言命题的形式及意义,区别3种不同的析取运算,讨论多元不相容命题的逻辑意义。从理论上讲,p1p2∨p3在现实中没有应用。对于3个支命题构成的选言命题,现实中只有2种情况:或者是二元相容析取(∨)形成的命题形式(p1∨p2∨p3),或者是三元运算形成的命题形式(p1△p2△p3)。     

复合判断推理不同推理形式间的互通

从现代形式逻辑的观点看，许多不同形式的推理实际上是等值的。但是，由于表达形式的不同，就显示了不同的特征。不同类型的推理，可以显示出从不同角度考虑极为重要的性质。诚然，这在传统逻辑中却极少论及。本文探讨了假言推理中充分条件假言推理与必要条件假言推理的等值关系；探讨了充分条件假言推理、必要条件假言推理与相容选言推理间的等值关系，并说明了诸推理式间的互通问题。     

可拓知识库系统及其应用

知识库系统是一种专门存储、管理大量知识的机构。文章以可拓学的理论和方法为指导,提出可拓知识表示法和可拓知识库系统的特点与构架。给出了可拓知识表示的形式化语义,其基本单元是知识物元;阐述了矛盾问题求解的形式表示,其核心是问题的物元模型,通过可拓算子把不相容问题转化为相容问题;相关方式推理是可拓知识库系统推理机的特点,是传统规则推理的推广。可拓知识库采用可拓知识表示方法,是传统知识库的一个超集;可拓知识库系统由目标库、条件库、公用知识库、分类知识库、推理机与知识库管理系统组成。     

试论概念间的相容与不相容关系

力求通过概念之间关系的探讨,理清概念间相容与不相容以及它们的层次关系,使人们对概念及概念的层次、相容等关系有一个清楚的了解,以指导工作实践     

加速度分解对定常约束多体系统的动力学分析

通过约束矩阵及其正交补的两组基，将定常约束多体系统的动力学方程沿与约束相容和不相容的两个方向上投影，并将系统的广义加速度沿这两个方向进行分解，得到描述系统的纯微分方程和求约束力的公式，同时提出了违约修正的一种方法。最后给出了一个说明性例子。     

试论概念间的相容与不相容关系

力求通过概念之间关系的探讨,理清概念间相容与不相容以及它们的层次关系,使人们对概念及概念的层次、相容等关系有一个清楚的了解,以指导工作实践.     

坚持社会主义公有制,清除私有化思潮的精神污染

1、商品经济是社会主义不可逾越的历史阶段在马克思的商品经济理论中,社会主义是在高度发达的资本主义商品经济的基础上产生的.无产阶级取得政权后,为了解放生产力,必须消灭私有制、建立公有制;废除商品经济、发展有计划的产品经济.公有制同商品经济是不相容的.但是,现实中的社会主义并不是在经济发达、而是在经济不发达的国家首先取得胜利的.社会主义建设的实践经验表明:贫困不是社会主义,也不能过渡到社会主义,要改变贫困落后的面貌,发展社会生产力,就必须发展商品经济,而不是限制或废除商品经济.还不具备公有制同商品经济不相容的客观前提,因此,公有制同商品经济是可以相容的.商品经济是社会主义制度自我完善的不可逾越的历史阶段.这是马克思主义商品经济理论的一个重大发展.     

求解广义模糊线性系统的一类迭代法

研究给出了求解广义相容模糊线性系统和不相容系统的一类迭代法,给出两个数值例子.结果表明,无论系统相容与否,该迭代法都能快速求出它的极小解或极小最小二乘解.     

基于多元组Rough集的不相容决策

Ｒｏｕｇｈ集理论是一种具有模糊边界集合理论,它被广泛应用于不相容决策 规则提 文讨论了基于多元组Ｒｏｕｇｈ集的不相容决策方法,并给上应的算法,同时 不相容规则的相容度作了分析,该方法比普通Ｈｏｕｇｈ集方法更简单、更有效、文中所给出的算法特别适用于具有重复元素且的决策表。     

无环配置问题研究

基于约束的配置问题提出一种无回溯搜索算法,通过弧相容技术将所有不相容的值删除,指导用户进行产品配置,并对其正确性进行了证明.探讨了将目前两种主流计算冲突解释方法应用到无环配置问题的可行性.