【摘 要】
：
研究了积分语义学理论的相似度与伪距离，对特殊公式Ｉｎ＝ｐ１∧ｐ２∧…∧ｐｎ，Ｕｎ＝ｐ１∨ｐ２∨…∨ｐｎ的真度值进行了计算，给出了Ｆ（Ｓ）中的积分相似度和Ｆ（Ｓ）上的伪距离的一些性质。得到了：（１）在任何一个逻辑系统中τ（Ｉｎ）＝１ｎ＋１，τ（Ｕｎ）＝ｎｎ＋１；（２）在Ｌｕｋａｓｉｅｗｉｃｚ逻辑
【机 构】
：
陕西师范大学数学研究所,唐山师范学院数学系
论文部分内容阅读
研究了积分语义学理论的相似度与伪距离，对特殊公式Ｉｎ＝ｐ１∧ｐ２∧…∧ｐｎ，Ｕｎ＝ｐ１∨ｐ２∨…∨ｐｎ的真度值进行了计算，给出了Ｆ（Ｓ）中的积分相似度和Ｆ（Ｓ）上的伪距离的一些性质。得到了：（１）在任何一个逻辑系统中τ（Ｉｎ）＝１ｎ＋１，τ（Ｕｎ）＝ｎｎ＋１；（２）在Ｌｕｋａｓｉｅｗｉｃｚ逻辑系统中，对公式Ａ和正数ε，存在公式Ｂ，使得１－ε〈ξ（Ａ，Ｂ）〈１；（３）在Ｌｕｋａｓｉｅｗｉｃｚ逻辑系统
其他文献
对重症急性胆源性胰腺炎（SABP）患者行内镜治疗的临床效果展开研究。选取我院2015年3月-2016年3月收治的86例SABP患者,随机分为观察组和对照组各43例。观察组接受内镜治疗,对照
文化馆在丰富群众文化、提升群众生活文明等方面,具有很多的建设作用。在进行公共文化宣传和服务过程发了极其重要的作用,因此,本文就如何做好文化馆建设展开论述,促进文化馆
通过探讨春播玉米节肢动物群落结构和时序动态,旨在为玉米田天敌保护利用及玉米害虫的合理防控提供基础资料。采用网捕法和目测法探明春播玉米节肢动物群落结构和时序动态。
长江安徽段河道全长416km,保护着沿江两岸1 227万人口、约61.5万hm~2耕地和重要的国民经济基础设施。近年来,安徽省深入贯彻落实长江＂共抓大保护,不搞大开发＂的要求,探索开展崩
<正> 《劳动合同法》、《就业促进法》将于2008年1月1日起实施,于12月29日上午通过的《劳动争议调解仲裁法》也将于2008年5月1日起实施。为配合三法的宣传,12月29日下午,全国
通过对不同约束比λ′下的19个纤维环向约束加固的方形倒角的素混凝土轴心受压短柱的试验研究,表明纤维环向约束是提高柱轴向承载力、改善延性的有效的方法,同时验证了纤维的
总结了武汉中心超高层建筑给排水系统设计方案。从给水系统、排水系统和消防系统三个角度阐述了该项目的设计初衷和技术经验总结,重点分析了中水回用系统和高压细水雾系统的
专注经济发展的负面效应便是环境遭大范围破坏和污染,固体废弃物污染同大气污染、水污染等均对人类的生存环境造成巨大影响。惩治固体废弃物污染环境犯罪的行为,可借鉴对环境
随着时代的发展,企业之间的竞争逐渐转变为对供应链管理的竞争,面对经营环境的不断变化,资源的优化管理是企业获得竞争优势的源泉。市场竞争的加剧使得企业制定合适的产品资
随着教育信息化的推进,教育技术能力已成为教师必须具备的职业技能之一。《现代教育技术》课程是师范院校培养师范生教育技术能力的核心课程,旨在培养师范生开展信息化备课、