命题演算相关论文
在知识表示和自动推理领域，命题逻辑是一种极其重要的形式化语言，其中命题逻辑可满足性问题是研究最广泛的核心问题之一，约简命题逻辑......
研究了模糊命题演算的形式演绎系统 *和修正的Kleene逻辑系统W,W,Wk及R0-代数.给出了 *系统的半对偶形式系统S * ;与交推理规则相......
研究了王国俊教授建立的模糊命题演算的形式演绎系统L*及与之在语义上相关的R0-代数,讨论了R0-代数中混合运算():a()b= (a→()b)的......
研究了模糊命题演算的一种形式演绎系统L*和修正的Kleene逻辑系统W-,W,Wk及R0-代数,给出了L*系统的一种弱完全对偶形式系统WCL-*,......
研究了王国俊教授建立的模糊命题演算的形式演绎系统 *以及在语义上相关的修正的Kleene逻辑系统W,W,Wk,给出了 *系统的一种改进系......
研究模糊命题演算的形式演绎系统L*和Lukasiewicz命题演算系统Lu,提出基础系统L*--BL*系统,证明BL*系统的一种扩张与Lukasiewicz系......
将王国俊教授在逻辑系统Ｗ，Ｗ，Ｗｋ中的广义重言式理论进行推广，并应用到了Ｇａｉｎｓｅ－Ｒｅｓｃｈｅｒ逻辑系统Ｇｒ，Ｇｒ，Ｓｎ中，主要结果是：在逻辑系统Ｇｒ，Ｇｒ中，重言式不可能由对非重言式进行有......
随着高中新课改的普及,高考对考生创新能力的要求逐渐加强,创新型试题的命制更是常考常新,但总体上都是考查同学们能综合运用所学......
通过真值表技术把一个命题演算的合式公式化成主析取(主合取)范式在数理逻辑教学中是比较抽象的内容,如果把握住小项的编码的性质,......
本文作者在1997年第一期<河北大学学报>(自然版)上曾发表了<全功能运算集>一文.<再谈全功能运算集>进一步对命题演算中所有的二元......
对BR0代数,Boole代数以及BL＊系统,命题演算形式系统L进行了研究。首先讨论了BR0代数与Boole代数间的相互关系,随后在BL＊系统中分别添......
介绍了一阶命题演算的两个直觉主义系统，希尔伯特型（HSI）及自然演绎型（NDSI），并证明了这两个系统的等价性，揭示了直觉主义逻辑的内函及与......
基础模糊命题演算系统BL＊是一个和基础命题演算系统BL相对独立的命题演算系统。命题演算系统影。是系统BL＊的扩张，但不是系统BL的扩张......
不完全信息问题存在于每一种教据库模型中。传统的二值逻辑难以适应不完全信息处理的需求，而多值逻辑能更多地捕获不完全信息的直觉......
目的建立一般非空集合X上的结论闭域和推理空间理论,并对它们的性质进行初步的探讨。方法通过对命题演算系统的共同特征的研究,在......
【正】 自本世纪初叶,特别是三十年代以来,数理逻辑这门科学就以充满无限活力的姿态,出现于逻辑工作者、数学工作者以及哲学工作者......
对模糊命题演算的形式演绎系统中的公理L10：（A→B）∨（（A→B）→A∨B）进行了较为深刻的研究，一方面应用L10讨论了L^＊系统与Lukasiewicz系统，GSd......
在模糊逻辑系统L^＊中,P∧Q是﹁（﹁P∨﹁Q）的简写,连接词∧与连接词﹁,∨,→的关系应由L^＊中的公理体系决定。本文通过在L^＊中增加适当公理使得连......
首先介绍命题演算的Gentzen型系统G,然后给出一个命题演算的永真推理系统H,最后证明一个命题在G中可证当且仅当它在H中可证,从而G......
从逻辑的角度考察著名的＂半费之讼＂所涉及的推理,有很多不同的观点.多数人认为其总前提有问题,有人认为违反了同一律,有人认为违反了......
首先在矩阵中用谓词描述“含Kn”和“含－↑Km”，然后通过命题演算法逐行求出不含Kn也不含－↑Km的矩阵（aij)j=i+1,…，l^i=1,2,…l-1，若对......
简要介绍了一阶命题演算的希尔伯特型直觉主义系统，运用逻辑演绎的方法证明了此系统的一些定理，其目的在于加深对直觉主义系统中概念......
针对直觉模糊逻辑及命题演算,基于直觉指数所表征的中立证据中支持与反对的程度呈均衡状态的假设,提出利用隶属度与犹豫度计算直觉......
