论文部分内容阅读
计量逻辑理论是逻辑概念程度化研究方向的一个重要分支。但目前计量谓词逻辑的相关研究中,都不曾涉及推广规则。一阶逻辑公式的准真度理论是计量谓词逻辑的一个重要的研究成果,讨论经过推广规则后,一阶逻辑公式准真度的变化情况,证明经过推广规则后,一阶逻辑公式在基于准真度的一阶逻辑公式集的分类中类别不变。
推广规则后一阶逻辑公式的准真度
【摘 要】
：
计量逻辑理论是逻辑概念程度化研究方向的一个重要分支。但目前计量谓词逻辑的相关研究中,都不曾涉及推广规则。一阶逻辑公式的准真度理论是计量谓词逻辑的一个重要的研究成
【机 构】
：
山西师范大学数学与计算机科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2019年6期
【基金项目】
：
山西省自然科学基金面上项目(No.201601D011043),国家自然科学基金重点项目(No.11531009).
其他文献
武汉市江夏区农业局是区人民政府主管全区农业行政工作的职能部门。全局系统行政人员30人,事业人员318人。局机关内设职能科室10个,下属事业单位9个,派出街镇乡农业服务中心1
金融海啸扑面而来,对全球经济的冲击已成"黑云压城"之势。因此,我们特约有关专家来探讨以下问题:1、本次美国金融危机产生的根源是什么?目前情况怎样?美国的金融危机对于世界
期刊
湖北省襄樊三中始建于1956年,2006年被评为市级示范学校,全校共有教职工233人,有10名教师获得教育硕士研究生学位,有39名教师正在攻读教育硕士研究生,有特级教师5人,高级教师
期刊
革命历史题材小说的影视改编自2004年至今,一直方兴未艾。'革命+历史'一时成为了影视剧改编的热门首选。从《沙家浜》、《林海雪原》到《苦菜
改革开放30年来,我们党的建设始终贯穿着建设一个什么样的党、怎样建设党这两大问题。围绕着这两个问题,我们党在党的建设的理论和实践上进行了探索和创新,取得了一系列的重
期刊
目的制作胃肠积热合并肺炎模型,观察银莱汤对胃肠积热合并肺炎大鼠胃排空及小肠推进率的影响,通过检测血清中胃饥饿素(Ghrelin)、NO含量变化,初步探讨银莱汤调节胃肠动力的具
近闻柴油的出厂价格又要提高，国内成品油价格一提再提已达 6～ 7次，至 8月中旬我市 90号汽油和 0号柴油批发价每吨提高到 3875元和 3325元。与去年 11月份相比，净涨 805元 /吨和 9
目的探讨补阳还五汤(Buyang Huanwu Decoction,BYHWD)联合骨髓间充质干细胞(bone marrow mesenchymal stem cells,BMSCs)移植对保护脊髓损伤(sipnal cord injury,SCI)气虚血