【摘 要】
：
对命题逻辑的相关概念进行量化处理,是命题逻辑研究的一种新方法,是一种有别于语构与语义的研究方法,是研究命题集结构的一个有力工具。通过运用向量间的Jaccard相似系数,在
【基金项目】
：
国家自然科学基金Nos.61976130,61871260,陕西省教育厅专项科研项目No.18Jk0099,陕西科技大学博士科研启动基金No.2019BJ-41
论文部分内容阅读
对命题逻辑的相关概念进行量化处理,是命题逻辑研究的一种新方法,是一种有别于语构与语义的研究方法,是研究命题集结构的一个有力工具。通过运用向量间的Jaccard相似系数,在经典逻辑系统L中给出了公式间的Jaccard相似度、Jaccard距离等概念,给出了计量逻辑学中公式真度的Jaccard相似度表示形式,建立了一种新的量化模型。讨论了由Jaccard距离导出的逻辑度量空间(F(S),ρ_J)的一些性质。得到结论:矛盾式是逻辑度量空间(F(S),ρ_J)中唯一的孤立点;逻辑度量空间(F(S),ρ_J)中的非
其他文献
地球内部存在着天然磁性现象,被称为地磁场。当今社会电子通讯发达,电磁波信号频繁,地球表面充满了电磁场。蜜蜂作为重要的授粉昆虫,其活动范围大部分都处于磁场环境中。目前
随着社会经济和科技的飞速发展,高等教育已经不再是少数人的权利,而是渐渐地由精英型转变为大众化,越来越多的人受到高等教育。为了适应这一改变,山东省各高校及时调整学校的
在新课程改革的引导下,小学英语教师越来越注重英语活动的教学,每节课都设计很多教学活动。但这些活动是否都有效和必要,那就有待研究。
选取健康性成熟雄性Wistar大鼠灌胃染毒10 mg/kg,20mg/kg和40 mg/kg氯化锰,每日1次,连续染毒30 d,应用分光光度法测定血清和睾丸匀浆中MDAnROSnNOnSODnGSH-Px、LDH、LDH-x、G
栝楼籽因既可入药又可食用而受到人们的喜爱。研究栝楼籽中的各种化学成分,了解其功效及作用机理,能更恰当地对其进行开发利用,为将来栝楼籽的精深加工提供依据。
Tzu House
针对周界安全防护需求不断增加的现状,简要论述几种应用较多的周界防护探测与入侵检测技术,重点研究基于人工智能的视频分析技术在周界防护领域的发展及应用。
在交通工程中,监理的作用非常重要的,对控制建设日程、项目质量和项目成本具有重大意义。我国的管制体系起步较晚,虽然经过几十年的开发,已经取得了较好的结果,但仍存在很多
随着我国经济实力的不断增强,我国建筑行业正朝着更高、更复杂的趋势迅猛发展,高层建筑结构抗震性的优劣直接影响人们的财产安全,因此高层建筑物的抗震性应得到足够的重视。
架子牛育肥是指选择适宜的架子牛,利用肉牛的补偿生长特点,通过合理育肥措施使其快速增重的方法。架子牛育肥具有适性应好、育肥周期短、饲料报酬率高、养殖成本低、育肥效果
消防工作,宣传系于一半。在日常工作中,消防工作担负着普及消防法律法规、展示消防救援队伍新形象新风貌、推广消防安全常识和应急救援知识、提升全民消防综合素质的职责重任