演绎逻辑的真值语义和直观推理语义     

冯棉 《华东师范大学学报(哲学社会科学版)》2011,(6)

真值语义将逻辑联结词都解释为真值联结词,是一种简明的外延形式语义.真值语义面临的主要问题是:逻辑联结词→、(一)的真值解释,与对应的日常联结词“如果,那么”和“当且仅当”产生了距离.直观推理语义关注逻辑联结词→、(一)的推理涵义,借助日常语言来阐释逻辑表达式的具体内容,重视表达式的内涵.使用直观推理语义,检验逻辑表达式的直观有效性,有助于实现逻辑学家的目标和理想:有效的推理形式应普遍适用于各种场合的日常推理.  相似文献   

二值命题逻辑中Г-的蕴涵距离和近似推理     

王廷明 《德州学院学报》2008,24(6):5-7

以基本真度为基础,引入二值命题逻辑系统中基于前提信息Г的公式A到B的蕴涵度概念,由此定义了公式A到B的Г-蕴涵距离,并通过Г-蕴涵距离的基本真度表示式,对二值命题逻辑中基于前提信息的近似推理问题进行讨论．  相似文献   

二值命题逻辑中命题真度相同与逻辑等价的关系     

王永安  王国俊  杨合俊 《西安文理学院学报》2008,11(1):11-13

王国俊提出了命题真度的概念,它与命题逻辑等价的概念不同,但它们之间具有一定的联系．文中通过在全体公式之集上引入某种等价关系,给出了二值命题逻辑中命题真度相同与逻辑等价的关系．  相似文献   

真值表的逻辑工具功能     

汪柏树 《黄山学院学报》2001,(4)

本文较全面地论述了真值表定义复合命题联结词,提供推理规则逻辑根据,直接检验复合命题推理有效性,揭示复合命题之间真假关系,构造复合命题逻辑方阵及其推理有效式,准确掌握矛盾律、排中律、反证法和间接反驳,准确理解复杂语句外延等多方面的逻辑工具功能  相似文献   

联合演算何以可能     

马雷 《淮阴师范学院学报(哲学社会科学版)》2003,25(3):303-306

一无谓词逻辑和类逻辑都不能完全反映传统词项逻辑的特征。亚氏逻辑与命题逻辑一样，都是二值逻辑。三段论蕴涵式比命题蕴涵式复杂，它表示一种特殊的蕴涵关系。希尔柏脱和阿克曼认为，对命题演算符号可作谓词演算的解释，也可作类演算的解释。通过对谓词的新解释，可以在命题演算、谓词演算与类演算之间建立起完全的类比，从而把传统推理的有些形式作现代逻辑的处理。这一联合演算思想虽未发育成熟，却能够为我们全面、深入地理解词项逻辑、谓词逻辑、类逻辑和命题逻辑之间的关系，特别是传统逻辑与现代逻辑的关系开辟广阔的空间。  相似文献   

关于蕴函置换法的讨论     

李建湘 《邵阳高专学报》1998,11(4):241-244

定义了命题逻辑中蕴函置换的概念,建立了蕴涵转换法,最后指出了蕴涵置换法的使用范围。  相似文献   

Lukasiewicz系统中反向三I算法的形式解     

刘东利  段樱桃 《内江师范学院学报》2010,25(4):5-8

通过一个F（S）上的预序,提出了反向MP问题,多重反向MP问题以及反向MT问题,多重反向MT问题．在Lukasiewicz命题逻辑系统中讨论并得到了以上问题的解,说明了在某种意义下,这些解和反向三I算法的结果一致,从而在Lukasiewicz逻辑系统中实现了反向三I算法的形式化推理机制．  相似文献   

命题逻辑与数学证明方法（Ⅰ）   总被引：1，自引：0，他引：1  

孙宗明  梁凤鸣 《泰安师专学报》2012,(6):1-9

简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和数学证明方法,形成一个完整的系统,内容包括命题逻辑．  相似文献   

运用类比法进行离散数学教学探究     

李世群  袁梓瀚  马千里 《当代教育理论与实践》2013,(10):100-102

用类比方法教学,不仅可以达到温故而知新、完成新知识的学习目的,而且有利于学生创新能力的培养,更有利于学生进行终身学习。本文研究了在数学课堂中运用类比法进行教学的作用,并结合自己的课堂教学实践,讨论了如何运用类比法进行离散数学教学的策略。  相似文献   

试析斯多葛学派命题逻辑研究中的命题函子理论     

孙雯 《保定学院学报》2009,22(3):14-16

斯多葛学派是古希腊的一个哲学学派,他们的前驱是麦加拉学派.命题逻辑是斯多葛逻辑的精华所在.斯多葛在亚里士多德的基础上,对命题理论的研究又有了新的突破,探讨了命题函子及命题函子的可互定义性.  相似文献