共查询到10条相似文献,搜索用时 46 毫秒
1.
2.
研究赋值格为非线性序,蕴涵算子→取Gaines-Rescher的RGR的一种4值逻辑系统GR14,得到若干结果.特别是,在系统GR14中,α-MP规则都成立(α>0);GR14重言式必是GR14-准重言式,GR14-准重言式必是C2-重言式,即一个公式是GR14中的重言式当且仅当它既是I-重言式又是J-重言式,即. 相似文献
3.
平静水 《淮南师范学院学报》2010,12(3):4-6
讨论了剩余类蕴涵算子之一Lukasiewicz蕴涵算子的导出算子的三值系统L3和n值逻辑系统Ln(n〉3),首先给出了L3的真值表,它是C2真值表的扩充,它也保持MP规则和正则性,接下来讨论了b中的重言式(tautology)与IPC(inmitionistic propositional calculus)公理之间的关系以及L3的准重言式与C2的重吉式之间的关系。最后考虑了Ln中的予代数及不同逻辑系统Ln中重言式的比较。 相似文献
4.
于鸿丽 《西安文理学院学报》2010,13(2):16-19
将修正的Kleene逻辑系统中语义HS规则推广后应用于Hα逻辑系统中,讨论了Hα逻辑系统中广义重言式理论的语义[α]-HS、[α+]-HS等规则,使得对Hα系统中的广义语义HS规则有了更进一步的认识. 相似文献
5.
于鸿丽 《西安文理学院学报》2007,10(1)
研究了文献[1]中提出的系统Hα的广义重言式理论,利用可达广义重言式的概念给出了F(S)的一个分划,证明了在系统Hα中,只有以下几种不同的广义重言式,即[0]-T(H12),[α2]-T(H12),[(α2) ]-T(H12),[α]-T(H12),[α ]-T(H12),T(H12)(α∈(0,1)) 相似文献
6.
研究赋值格为非线性序的一种非经典逻辑低矺#.在该系统中,格结构不同于Boole代数,蕴涵算子→取Kleene-Dienes算子RKD.得到若干结果,特别是K#-准重言式恰是经典命题逻辑C2中的重言式,从而也等于C2中的定理,即QT(K#)=T(C2)=Φ├
. 相似文献
7.
于鸿丽 《西安文理学院学报》2008,11(3):36-39
系统Hα是一个带有参数的系统,将参数α赋予不同的值,将会得到不同的多值逻辑系统.借助子代数理论,研究了多值逻辑系统Hα中的重言式分类定理,为系统Hα的进一步研究奠定了基础. 相似文献
8.
刘宏全 《陕西教育学院学报》2002,18(1):25-27
真仿表方法是命题逻辑的一种重要的方法,它既可以判定一个命题公式是重言式,矛盾式或协调式,也可以判定命题推理是否有效。掌握真值表化简方法对判定命题推理是否有效显得尤为重要。 相似文献
9.
数学证明与制约推理 总被引:1,自引:0,他引:1
温新 《安顺师范高等专科学校学报》2000,2(2):47-50
论述数学证明与制约推理的关系。指出重言式不是推理式,制约逻辑是从已知进入未知的推理论证工具。 相似文献
10.
曾庆华 《黔南民族师范学院学报》2005,25(4):36-38
数学命题的证明步骤是由已知备件逐步推演形成的系统。我们完全可以把这些推演过程转化成为真值形式构成若干推理的前提,然后把这些前提合取并与之导出的结论构成数理逻辑蕴涵式。如果能证明该蕴涵式为重言式,那么其数学命题的证明推理形式就是正确的。 相似文献