排序方式： 共有17条查询结果，搜索用时 406 毫秒
1.
介绍了参数K leene系统和参数K leene系统的三-I算法,并将它们在运算方法随参数值的变化进行比较.把K leene系统三-I算法归入到逻辑演算意义下,有助于在系统Kp中研究模糊推理. 相似文献
2.
辛晓东 《宁夏师范学院学报》2002,23(3):1-5
摘要定义了非线性逻辑系统W^-2，研究了W^-2中的重言式及广义重言式，得到了若干与线性逻辑系统W^中相类似的结果． 相似文献
3.
同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式。同一律、不矛盾律和排中律作为逻辑基本规律在传统形式逻辑中普遍有效,可是,它们一经引入正统数理逻辑,便会引起不符合人的普通逻辑思考实际的准逻辑悖论。故而,传统形式逻辑三大基本规律在正统数理逻辑中均不能成立。 相似文献
4.
辛晓东 《宁夏师范学院学报》2002,(3)
定义了非线性逻辑系统W~2,研究了W~2中的重言式及广义重言式,得到了若干与线性逻辑系统W~2中相类似的结果。 相似文献
5.
平静水 《淮南师范学院学报》2010,12(3):4-6
讨论了剩余类蕴涵算子之一Lukasiewicz蕴涵算子的导出算子的三值系统L3和n值逻辑系统Ln（n〉3）,首先给出了L3的真值表,它是C2真值表的扩充,它也保持MP规则和正则性,接下来讨论了b中的重言式（tautology）与IPC（inmitionistic propositional calculus）公理之间的关系以及L3的准重言式与C2的重吉式之间的关系。最后考虑了Ln中的予代数及不同逻辑系统Ln中重言式的比较。 相似文献
6.
曾庆华 《黔南民族师范学院学报》2005,25(4):36-38
数学命题的证明步骤是由已知备件逐步推演形成的系统。我们完全可以把这些推演过程转化成为真值形式构成若干推理的前提，然后把这些前提合取并与之导出的结论构成数理逻辑蕴涵式。如果能证明该蕴涵式为重言式，那么其数学命题的证明推理形式就是正确的。 相似文献
7.
研究了多值逻辑系统中的广义矛盾式,并对这些多值逻辑系统中的广义矛盾式进行了分划,强调了这种分划的不重不漏. 相似文献
8.
通过考察矛盾对演绎推理的心理干扰，引进可真前件蕴涵式和Px永真式的概念，建立了命题逻辑的Px系统。在Px系统中，由前提A推出结论B，充分必要条件是：A→B为Px永真式，即可真前件蕴涵式。由于重言式p→（p→q）不是可真前件蕴涵式，它所引起的“由矛盾可以推出随意的一切”的矛盾恐惧心理可以解除。 相似文献
9.
于鸿丽 《西安文理学院学报》2010,13(2):16-19
将修正的Kleene逻辑系统中语义HS规则推广后应用于Hα逻辑系统中,讨论了Hα逻辑系统中广义重言式理论的语义[α]-HS、[α+]-HS等规则,使得对Hα系统中的广义语义HS规则有了更进一步的认识. 相似文献
10.
于鸿丽 《西安文理学院学报》2008,11(3):36-39
系统Hα是一个带有参数的系统,将参数α赋予不同的值,将会得到不同的多值逻辑系统．借助子代数理论,研究了多值逻辑系统Hα中的重言式分类定理,为系统Hα的进一步研究奠定了基础． 相似文献