1) natural deductive system
![点击朗读](/dictall/images/read.gif)
自然演绎系统
1.
The corresponding version in fuzzy logic of the natural deductive system of classical logic is disscussed.
讨论了经典逻辑的自然演绎系统在模糊逻辑中的对应形式。
2) labeled natural deduction system
![点击朗读](/dictall/images/read.gif)
标号自然演绎系统
3) natural deduction
![点击朗读](/dictall/images/read.gif)
自然演绎
1.
Abstract operator logic and its natural deduction system;
![点击朗读](/dictall/images/read.gif)
抽象算子逻辑及其自然演绎系统
4) natural deduction t
![点击朗读](/dictall/images/read.gif)
自然演绎型
1.
Two intuitionistic systems of firstorder sentential calculus, Hilbert s type(HSI) and natural deduction type(NDSI), were introduced.
介绍了一阶命题演算的两个直觉主义系统 :希尔伯特型 (HSI)及自然演绎型 (NDSI) ,并证明了这两个系统的等价性 ,揭示了直觉主义逻辑的内涵及与其他非经典逻辑的关
5) deductive system
![点击朗读](/dictall/images/read.gif)
演绎系统
1.
The symbol system of the Eight Diagrams and Sixty-four Diagrams in Zhouyi is basic different from that in the deductive system;for in the ancient Chinese Slave Society(2500-3000 years ago),there weren\'t conditions to build dialectical thought forms in the deductive system.
虽然《周易》是一部具有丰富的辩证思维、辩证思想的光辉著作,但辩证思维、辩证思想与辩证逻辑(科学)是根本不同的;《周易》中八卦、六十四卦的符号系统根本不是辩证逻辑形式演绎系统;在距今2500—3000年的我国奴隶社会时期,根本不具有创建辩证逻辑形式演绎系统的条件。
6) deduction system
![点击朗读](/dictall/images/read.gif)
演绎系统
1.
Based on fuzzy formal deduction system, some concepts of fuzzy first- order logic are introduced.
本文在模糊命题逻辑演绎系统的基础上,引入了模糊意义下的一阶逻辑的相关概念,建立了模糊一阶(谓词)逻辑的准形式演绎系统 。
补充资料:自然演绎法
自然演绎法
natural deduction method
2 1 rQn yanyi fa自然演绎法(naturaldeduction method)一种模拟人的演绎思维过程,在计算机上实现证明定理的方法。W.W.Bled岌犯于1975年提出。这种证明方法与定理机器证明的传统方法—归结方法在很多方面有本质的区别。 首先,自然演绎法证明的主导思想与归结方法不同。假设我们要证明的公式是H=>C,其中H是前提集合,C是结论集合,归结方法实际上采用的是反驳证明方法,转去证明H八(一C)的不可满足性。而自然演绎法却是直接证明H冷C的恒真性,其演绎过程与人们证明这个问题的思维过程十分类似,自然演绎这一名称也即由此而来。 因为证明的主导思想不同,自然演绎法在对一阶逻辑公式的Skolern化的过程上也与归结方法不同。归结方法的Skoleln化的结果是全称量化的,存在量词用Sk<通em函数代替,而自然演绎法恰恰相反,Skoleln化的结果是存在量化的,全称量词用Skoleln函数代替。 归结方法从反证的角度出发,对前提条件和要证明的结论不加区别。而自然演绎法却在证明中始终保持它们的区别,不断地分析前提和结论的逻辑结构,根据它们的结构选用不同的演绎规则。例如,假设要证明的公式具有H~(P八Q)的形式,则自然演绎法根据结论的合取形式,把要证的公式分裂成两个子目标H~尸和H一Q,证明了两个子目标后再综合出整个命题的证明。在证明过程中,归结方法只使用一条规则—归结规则,而自然演绎法却可以有很多条演绎规则。 自然演绎法的优点是演绎过程中所产生的子目标的数量较少,因而占用的存储空间也较少,证明问题的速度也比较快。中等难度的问题在人们容许的时间内即可得到证明。由于它的演绎过程和人对问题的证明过程类似,因而便于人机对话,实现交互式的证明。例如,如果机器证明的时间过长或者在证明过程中遇见问题时,可以中断证明,请求人的帮助与指导。 自然演绎法的弱点是它的不完备性—有些人们利用通常的推理方法能够证出来的定理,使用自然演绎法却证不出来。为了解决自然演绎法的不完备性问题,人们对自然演绎规则提出了各种修改意见。这些修改虽然能够解决自然演绎法在某些具体间题上的不完备性,却不能从根本上彻底解决它的不完备性。自然演绎法的不完备性之有效解决,至今仍是它的一个大问题。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条