排序方式: 共有52条查询结果,搜索用时 0 毫秒
1.
冯棉 《华东师范大学学报(哲学社会科学版)》2011,(6)
真值语义将逻辑联结词都解释为真值联结词,是一种简明的外延形式语义.真值语义面临的主要问题是:逻辑联结词→、(一)的真值解释,与对应的日常联结词“如果,那么”和“当且仅当”产生了距离.直观推理语义关注逻辑联结词→、(一)的推理涵义,借助日常语言来阐释逻辑表达式的具体内容,重视表达式的内涵.使用直观推理语义,检验逻辑表达式的直观有效性,有助于实现逻辑学家的目标和理想:有效的推理形式应普遍适用于各种场合的日常推理. 相似文献
2.
以基本真度为基础,引入二值命题逻辑系统中基于前提信息Г的公式A到B的蕴涵度概念,由此定义了公式A到B的Г-蕴涵距离,并通过Г-蕴涵距离的基本真度表示式,对二值命题逻辑中基于前提信息的近似推理问题进行讨论. 相似文献
3.
本文较全面地论述了真值表定义复合命题联结词,提供推理规则逻辑根据,直接检验复合命题推理有效性,揭示复合命题之间真假关系,构造复合命题逻辑方阵及其推理有效式,准确掌握矛盾律、排中律、反证法和间接反驳,准确理解复杂语句外延等多方面的逻辑工具功能 相似文献
4.
马雷 《淮阴师范学院学报(哲学社会科学版)》2003,25(3):303-306
一无谓词逻辑和类逻辑都不能完全反映传统词项逻辑的特征。亚氏逻辑与命题逻辑一样,都是二值逻辑。三段论蕴涵式比命题蕴涵式复杂,它表示一种特殊的蕴涵关系。希尔柏脱和阿克曼认为,对命题演算符号可作谓词演算的解释,也可作类演算的解释。通过对谓词的新解释,可以在命题演算、谓词演算与类演算之间建立起完全的类比,从而把传统推理的有些形式作现代逻辑的处理。这一联合演算思想虽未发育成熟,却能够为我们全面、深入地理解词项逻辑、谓词逻辑、类逻辑和命题逻辑之间的关系,特别是传统逻辑与现代逻辑的关系开辟广阔的空间。 相似文献
5.
6.
通过一个F(S)上的预序,提出了反向MP问题,多重反向MP问题以及反向MT问题,多重反向MT问题.在Lukasiewicz命题逻辑系统中讨论并得到了以上问题的解,说明了在某种意义下,这些解和反向三I算法的结果一致,从而在Lukasiewicz逻辑系统中实现了反向三I算法的形式化推理机制. 相似文献
7.
命题逻辑与数学证明方法(Ⅰ) 总被引:1,自引:0,他引:1
简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和数学证明方法,形成一个完整的系统,内容包括命题逻辑. 相似文献
8.
用类比方法教学,不仅可以达到温故而知新、完成新知识的学习目的,而且有利于学生创新能力的培养,更有利于学生进行终身学习。本文研究了在数学课堂中运用类比法进行教学的作用,并结合自己的课堂教学实践,讨论了如何运用类比法进行离散数学教学的策略。 相似文献
9.
斯多葛学派是古希腊的一个哲学学派,他们的前驱是麦加拉学派.命题逻辑是斯多葛逻辑的精华所在.斯多葛在亚里士多德的基础上,对命题理论的研究又有了新的突破,探讨了命题函子及命题函子的可互定义性. 相似文献
10.
中介命题逻辑系统的强完全性 总被引:2,自引:0,他引:2
本讨论中介命题逻辑系统的强完全性,证明了中介命题逻辑系统MP和扩展系统MP^*是强完全的。由于由此表明,MP与MP^*既是一般完全的亦是强完全的。 相似文献