论文部分内容阅读
给出了经典命题逻辑中公式的向量表示形式,利用向量表示形式给出公式的真度和公式间伪距离的定义,说明了这种定义与原有的概率形式的定义等价,得到了公式间的伪距离的一些简单性质以及在伪距离空间(F(s),ρ)中,逻辑连接词都是连续的.
经典逻辑系统中公式的真度及公式间伪距离的一种等价定义
【摘 要】
：
给出了经典命题逻辑中公式的向量表示形式,利用向量表示形式给出公式的真度和公式间伪距离的定义,说明了这种定义与原有的概率形式的定义等价,得到了公式间的伪距离的一些简
【机 构】
：
西安文理学院数学与计算机工程学院,陕西师范大学数学与信息科学学院
【出 处】
：
模糊系统与数学
【发表日期】
：
2004年期
其他文献
王泽戎时任蒙藏委员会新疆组(后改为天山调查组)代理组长.本组史料选取了王泽戎致蒙藏委员会的十次报告及蒙藏委员会的复电等.王泽戎的报告对当时西北地区特别是甘肃、新疆、
利用“城市地区流动大龄男性生殖健康和家庭生活调查”数据,通过与同年龄段已婚男性的对比,探究了性别失衡背景下流动大龄未婚男性的男男性行为.同性性行为发生率受到相关态
晚清民国时期,以西方学术重构中国文化体系成为近代新学术社会建立的必要环节。国难之际,科学学术与民族精神间的张力日趋紧张,如何在中国传统历史文化与现代学术、社会之间
梅达沃是20世纪最伟大的生物医学科学家之一。他揭示了器官移植排斥的免疫学性质,开创了临床器官移植的新领域;他发现的获得性免疫耐受现象通过诱导移植耐受的方法,为最终彻
作为当代伟大的政治哲学家之一,阿伦特的政治哲学思想主要集中在对哲学与政治、行动、自由、公共领域、革命、极权主义、平庸之恶、现代性及马克思思想等问题的独特阐释之中
目的:探究考试焦虑不同程度个体的选择性注意抑制功能。方法:通过考试焦虑问卷,筛选出高、低考试焦虑大学生,以其为被试,采用改进的情绪负启动范式,控制刺激材料的相关度和效
从理论性质上来说,以拉克劳和墨菲为代表的“后马克思主义”是在解构和建构并重的思想原则之下,力图超越“经典马克思主义”和“正统马克思主义”,由此来回应现实社会政治的
作为历史学家,白寿彝早在1930年就开始朱子学的研究,并对《朱子语类》作了深入的探讨.他对于《朱子语类》形成过程的研究及其创新,并不比后来影响很大的胡适所撰《〈朱子语类
基于世界风险、全球生态危机所生成的社会转型发展之境遇要求,发展规范伦理学成为当代伦理学建设的基本任务。发展规范伦理学的前提性工作是重建规范伦理研究的认知视阈,重新
中国生命伦理学在问题域上呈现日益明晰的还原路径:由“历史还原”展现其文化路向;由“逻辑还原”凸显其原则进路;由“实践还原”揭示其难题取向。从该视角审查中国生命伦理