共查询到20条相似文献,搜索用时 569 毫秒
1.
斯多葛学派是古希腊在逻辑上可以跟亚里士多德逻辑相媲美的学派。他们所建立的命题逻辑系统是运用自然推理的方法 ,把命题逻辑加以形式化 ,是最早的一个自然推理系统。该派认为 ,运用他们的命题逻辑系统中的 5个不可证式作为基本推理规则 ,借助 4个元逻辑规则 ,可以推论出命题逻辑系统的全部正确的推理形式。但从现代逻辑的角度来考察斯多葛学派命题逻辑系统 ,却发现它是一个不完全的系统。 相似文献
2.
LPM与Lp相比:由于□的引入,导致了初始符号与形成规则的扩张;从而引起了LPM的合式公式、原子公式、元语言变项和常项的取值范围,比Lp中相应部分的取值范围大大扩张;K、D、T、B、S4、S5与P相比:公理数量增多;变形规则增加,且相同变形规则的作用范围扩大;可推出的定理数量大大增加;推理能力大大增强。首次提出,模态命题逻辑系统的定理(公理)均是在古典命题逻辑系统的定理(公理)的子公式前用不同的方式添加模态词(包括空模态词)而得到。 相似文献
3.
基于绝对真度的概念,在Gn命题逻辑系统中定义了公式间的绝对相似度和伪距离,并证明了公式绝对真度的推理规则,为近似推理提供了理论基础. 相似文献
4.
5.
姚从军 《湖南科技学院学报》2009,30(2)
模态命题逻辑的语义解释与古典命题逻辑的语义解释相比:语义解释的构成要素增多了,增加了两个元素□和R,且相同要素V的作用范围扩大了;根据语义解释能够得出的永真式的数量增多了,故前者比后者的解释能力也大大增强. 相似文献
6.
张嵩高 《洛阳师范学院学报》2010,29(2):19-22
基于均匀概率空间的无穷乘积,n值Lukasiewicz命题逻辑中引入α-矛盾理论,给出了一般矛盾推理规则;利用命题的α-矛盾度定义了命题间的α-差异度,进而导出命题集上的一种伪距离. 相似文献
7.
模态命题逻辑系统K、D、T、S4、S5、B所依据的公理有一定的差异,导致它们之间的定理有一定的差异,推理能力的大小也有所不同.由于定理集的不同导致S4、S5可进行叠置模态词的归约,而K、D、T、B不能;S5可进行嵌套模态词的归约,K、D、T、S4、B没有这种归约能力. 相似文献
8.
构造基本命题逻辑BPL带标的矢列演算系统,该系统只有公理和逻辑规则,没有结构规则,结构规则被吸收在公理和逻辑规则中,并且所有的规则都是保持高度可逆的。证明弱化规则、收缩规则在中是保持高度可允许的,并证明切割消去定理,该系统具有弱子公式性质。 相似文献
9.
以基本真度为基础,引入二值命题逻辑系统中基于前提信息Г的公式A到B的蕴涵度概念,由此定义了公式A到B的Г-蕴涵距离,并通过Г-蕴涵距离的基本真度表示式,对二值命题逻辑中基于前提信息的近似推理问题进行讨论. 相似文献
10.
中介命题逻辑系统的强完全性 总被引:2,自引:0,他引:2
本讨论中介命题逻辑系统的强完全性,证明了中介命题逻辑系统MP和扩展系统MP^*是强完全的。由于由此表明,MP与MP^*既是一般完全的亦是强完全的。 相似文献
11.
冯棉 《中山大学学报论丛》2012,5(4)
从结构推理的观点来看,结合演算是一种很弱的逻辑,因为它仅容纳一种结构规则,即“结合规则”。正结合演算作为一种“正命题逻辑”,是结合演算的基础。本文构建了正结合演算结构推理系统BL和对应的公理系统B,阐述了结合演算拒斥“交换规则”、“收缩规则”和“弱化规则”的理论意义和应用价值,证明了系统BL和系统B的等价性。 相似文献
12.
理论的相对偏差是确定近似推理误差的逻辑度量之一,由于缺乏与理论特征相关联的真度表示,而导致其计算和应用上的不便.以公式真度为基础,给出了二值命题逻辑系统中有限理论相对偏差的真度表示式以及公式是有限理论的Ⅲ-型误差不大于ε结论的判定条件,并证明了有限理论的Ⅰ,Ⅱ,Ⅲ-型误差不大于ε的结论的等价性以及基于蕴涵真度的三种近似推理模式的等价性. 相似文献
13.
王廷明 《福建师大福清分校学报》2008,(5):7-9
将基本真度概念进行推广,提出了二值命题逻辑中在有限信息Г限制下的公式真度概念,并讨论其计算性质.以此为基础定义了公式的Г-限制相似度和Г-限制伪距离,得到了在有限信息Г限制下公式到理论结论集伪距离的Г-限制真度表示式,为研究二值命题逻辑中基于有限信息限制的近似推理问题提供数值化工具. 相似文献
14.
王永安 《西安文理学院学报》2009,12(4):6-10
在原子公式之集为有限集Sn={p1,…,pn}时,二值命题逻辑的全体公式之集用F(Sn)表示.文中在F(Sn)中提出了基本推理链的概念,统计了不同长度的基本推理链的条数(在公式之间的逻辑等价或可证等价的意义下).同时给出了用基本推理链的概念来刻划A→B为定理的一个充要条件. 相似文献
15.
命题逻辑中的数字表示 总被引:3,自引:0,他引:3
讨论了命题逻辑中的数字表示,给出了一系列重要结论,并通过实例说明了基于整数运算的求命题公式主范式和进行逻辑推理的方法.它为计算机处理命题逻辑提供了一种有效的途径. 相似文献
16.
命题逻辑是数理逻辑的重要组成部分,它的应用很广泛文章通过案件审理、人事和电路设计等方面的实例分析了怎样利用命题逻辑的演绎推理来解决日常生活中的一些问题. 相似文献
17.
王建辉 《牡丹江教育学院学报》2006,(4):123-123
本文从高等数学中的数理逻辑的学科角度,分析了高中数学命题逻辑教学中的一些疑点和认知上的误区,以期提高高中数学命题逻辑教学的针对性和准确性,使建立在集合、逻辑基础上的现代数学能够以适当的方式被高中学生所接受。 相似文献
18.
本文较全面地论述了真值表定义复合命题联结词,提供推理规则逻辑根据,直接检验复合命题推理有效性,揭示复合命题之间真假关系,构造复合命题逻辑方阵及其推理有效式,准确掌握矛盾律、排中律、反证法和间接反驳,准确理解复杂语句外延等多方面的逻辑工具功能 相似文献
19.
20.
崔泽云 《湘潭师范学院学报(社会科学版)》2004,26(6):26-28
一个理论的本体论承诺就是按照那个理论有什么东西存在的问题。经典命题逻辑是现代形式逻辑的基础。从语义学角度和它对"逻辑真"的定义看,它的本体论承诺是可能世界。存在经典命题逻辑这一本体论承诺是实在论逻辑观的反映,是它研究内容的必然要求。把可能世界存在作为它的本体论承诺对逻辑学自身、对经验科学都有深远而广泛的影响。 相似文献