共查询到20条相似文献,搜索用时 156 毫秒
1.
2.
首先在矩阵中用谓词描述“含Kn”和“含-↑Km”,然后通过命题演算法逐行求出不含Kn也不含-↑Km的矩阵(aij)j=i 1,…,l^i=1,2,…l-1,若对于l≤r-1有这样的矩阵,而对于l=r却没有,则r为Ramsey数。 相似文献
3.
对数理逻辑中命题逻辑公理系统独立性证明做了探讨,给出了算术解释的一种规律,并应用这种规则证明了3个命题演算公理系统的独立性。 相似文献
4.
命题演算的一种表述 总被引:1,自引:0,他引:1
殷德京 《湖北师范学院学报(自然科学版)》2000,20(1):32-34
给出命题演算公理系统构造的一种细致、对称的表述。这种表述方式,有助于理解形式系统化方法的统一性以及尽可能有的构造性。 相似文献
5.
6.
[1]证明了中介逻辑的命题演算系统MP(见[2])中的每一合式公式可以分解为以形如p,p,~p,~p(p为原子命题)为基子句的析取范式,本文的主要结果为:判定以形如p,p,~p,~p为文字的子句集的可满足性问题是NP完全的。 相似文献
7.
得出了在随机逻辑的词义问题中 ,标准命题演算系统的每条公理在随机逻辑中都是模糊恒真的 ,但标准命题演算系统的定理 ,在随机逻辑中却不都是模糊恒真的 相似文献
8.
经典公理系统在模糊命题演算中的不和谐性 总被引:1,自引:1,他引:0
本从包含度的角度出发,通过讨论经典公理系统在模糊框架下的不良表现,证明了对任意模糊命题逻辑系统而言,都不能指望保留经典命题逻辑系统中的全部定理,而必须有所放弃。进一步给出了在模糊系统中保留L1)和L2)或L1)和L3)的充分必要条件以及保留L2)和L3)的必要条件。 相似文献
9.
Gainse-Rescher逻辑系统中的广义重言式理论 总被引:3,自引:0,他引:3
将王国俊教授在逻辑系统W,W,Wk中的广义重言式理论进行推广,并应用到了Gainse-Rescher逻辑系统Gr,Gr,Sn中,主要结果是:在逻辑系统Gr,Gr中,重言式不可能由对非重言式进行有限次升级算法得到;在逻辑系统Sn中,对任一公式最多进行n次升级算法即可得到重言式;利用可达广义重言式概念和a-矛盾式概念分别在Gr,Gr,Sn中给出了F(S)的一个关于一同余的分划。 相似文献
10.
本文得出了在 (P(x) , , ,- )逻辑的语义问题中 ,标准命题演算系统的每条公理在 (P(x) , , ,- )逻辑中都是模糊恒真的 ,但标准命题演算系统的定理 ,在 (P(x) , , ,- )逻辑中却不都是模糊恒真的。 相似文献
11.
12.
本文得出了在(~P(x),(∪.),(∩.),-)逻辑的语义问题中,标准命题演算系统的每条公理在(~P(x),(∪.),(∩.),-)逻辑中都是模糊恒真的,但标准命题演算系统的定理,在(~P(x),(∪.),(∩.),-)逻辑中却不都是模糊恒真的. 相似文献
13.
从逻辑的角度考察著名的"半费之讼"所涉及的推理,有很多不同的观点.多数人认为其总前提有问题,有人认为违反了同一律,有人认为违反了矛盾律.但是,还有人认为推理没有逻辑错误,是一个逻辑悖论.无论是否认为它是诡辩,多数人认为其推理在形式上没有问题,属于正式的"两难推理".从推理形式的角度分析"普罗泰戈拉推理"中的诡辩性质,指出其主要问题并不是违反同一律或者矛盾律,而是以偏概全,实施了隐蔽的不等价命题代换,认定它是一个形式错误的推理. 相似文献
14.
命题演算的两个直觉主义系统 总被引:1,自引:1,他引:0
介绍了一阶命题演算的两个直觉主义系统 :希尔伯特型 (HSI)及自然演绎型 (NDSI) ,并证明了这两个系统的等价性 ,揭示了直觉主义逻辑的内涵及与其他非经典逻辑的关系 相似文献
15.
简要介绍了一阶命题演算的希尔伯特型直觉主义系统,运用逻辑演绎的方法证明了此系统的一些定理,其目的在于加深对直觉主义系统中概念的理解,便于对此系统的进一步研究及应用. 相似文献
16.
R0代数中的蕴涵滤子与同余关系 总被引:14,自引:0,他引:14
裴道武 《西安联合大学学报》2000,3(4):24-29
最近,王国俊教授建立了R0代数理论,为模糊逻辑提供了一种新的代数结构^「1」。本文在R0代数中引入蕴涵滤子及同余关系的概念,并且讨论蕴涵滤子与通常代数滤子的关系,还给出了蕴涵滤子和同余关系的若干重要性质。 相似文献
17.
主要讨论中介逻辑命题演算系统MP^M中等值意义下的完全析取范式的存在性和唯一性,同时举例说明该范式的作用,用该范式分为真理项与矛盾项两部分,形式简洁,为规范化研究该系统中的合式公式提供了一种工具,此外,还给出了构造中介逻辑命题演算系统MP^M的联结词的归纳。 相似文献
18.
中介逻辑的谓词演算系统(Ⅱ) 总被引:1,自引:1,他引:0
本文为参考文献[7]的续篇,在此继续生成中介逻辑的谓词演算系统MF的形式定理。定理10 MF:[1]x~A(x)~xA(x),[2]~xA(x)x~A(x)[3]~xA(x)x~A(x). 定理11 F:[1]x[A(x)→B(x)],xA(x)xB(x),[2]x[A(x)→B(x)],~xA(x)xB(x),[3]x[A(x)→B(x)],x~A(x)(x)B(x),[4]x[A(x)→B(x)],xA(x)xB(x),[5]x[A(x)→B(x)],x~A(x)xB(x),[6]x[A(x)→B(x)],xA(x)xB(x). 定理12 MF:[1]xA(x)∧Bx[A(x)∧B],x不在B中出现,[2]xA(x)∧BxA(x)∧B],x不在B中出现.[3]xA(x)∨Bx[A(x)∨B],x不在B中出现.[4]xA(x)∨Bx[A(x)∨B],x不在B中出现. 定理14 MF:[1]xA(x)∧xB(x)x[A(x)∧B(x)],[2]xA(x)∨xB(x)x[A(x)∨B(x)],[3]xA(x)∨xB(x)x[A(x)∨B(x)],[4]x[A(x)∧B(x)]xA(x)∧xB(x). 定理17 MF:[1]x[A(x)B(x)],x[B(x)C(x)x[A(x)C(x)],[2]x[A_1(x)B_1(x)],x[A_2(x)B_2(x)]x[A_1(x)∧A_2(x)B_1(x)∧B_2(x)],[3]x[A_1(x) B_1(x)],x[A_2(x)B_2(x)]x[A_1(x)∨A_2(x)B_1(x)∨B_2(x)]. 相似文献
19.
莫志浩 《解放军理工大学学报(自然科学版)》2001,2(1):97-99
对中介逻辑命题演算系统MP的18条推理规则作了简化,从中删除了5条不独立的推理规则,构成与原推规则集S等价的形式推理规则集S1。 相似文献
20.