【摘 要】
：
通过把n-值ukasiewicz命题逻辑中公式的概率真度函数抽象为模态词,把概率真度函数的基本恒等式抽象为关于模态词的公理,建立一个模态化的形式推理系统,构建其语构理论及语
论文部分内容阅读
通过把n-值ukasiewicz命题逻辑中公式的概率真度函数抽象为模态词,把概率真度函数的基本恒等式抽象为关于模态词的公理,建立一个模态化的形式推理系统,构建其语构理论及语义理论,证明该系统关于概率真度函数的完备性定理,从而为概率计量逻辑奠定逻辑基础.
By abstracting the probability truth degree function of the formula in n-value ukasiewicz propositional logic as a modal word, the basic identity of the probability truth function is abstracted as the axiom of modal words and a modal formal reasoning system is constructed to construct Its syntactic theory and semantic theory prove the completeness theorem of the system about probabilistic truth degree function, so as to lay a logical foundation for probability measurement logic.
其他文献
班级是学生在校学习的主场所，也是班主任老师苦心经营的一片天地。在一个和谐、健康、向上的班级氛围中，不仅能够提高学生的学业成绩，还能够使学生的心灵得到舒展，精神上得到惬意，更能促使学生健康成长，形成健全人格。在班级管理中，很多老师追求学生整体的一致性，而忽视学生的差异性，导致班级缺乏生机，甚至影响学生个性的发展。求同存异要求老师不仅要寻求共同之处，而且要承认有差别的地方。这样的管理方法，对于不同学生
随着人工光源的广泛应用和LED 的快速发展,围绕LED 光源在现代农业的基础研究及研发应用活跃.在国家重点研发计划的支持下,大连海洋大学刘鹰教授团队开展了“用于设施家禽与
叶圣陶说:“作文不是生活的点缀,而是生活的必需.”由此可见,作文教学应该把学生的目光引向现实生活,让他们在生活中积累素材,表达真实的生活体验.不仅如此,教师还应该引导学
深海蕴藏着丰富的矿产资源,对于我国社会经济发展具有重要的战略意义.深海采矿属于高新技术领域,也是未来国家战略新兴产业的制高点.当前各国均在大力发展深海采矿技术,其中
国家公益性行业(气象)科研专项“道路交通气象灾害的致灾过程及应急减灾对策研究”(编号:GYHY201306043)的主要任务是:开展道路交通气象综合对比观测试验;构建道路交通气象综
危机是任何一个企业在生产运作中所不能避免的，而在危机事件的处理中，沟通是危机管理的第一要务，沟通的效果甚至直接影响着危机事件处理的最终结果，而我国企业在这一方面还存在一
在火灾原因调查中,首先依据火场燃烧、炭化、倒塌、变色和变形等痕迹判断火灾的起火部位及蔓延和发展,其次要提取产生引火源和作为引火物的物证进行鉴定,以判断火灾的发生原
随着全业务经营时代的到来,我国电信业所面对的内外经营环境即将发生巨大、深刻的变革,各种不确定性大大增加,国内电信市场将会呈现新的格局。面对这种形势,电信运营商要想在
B(o)we Systec公司的大型新产品发布会原本应该在drupa 2021举行,但公司不想让客户等待一整年.这家位于德国奥格斯堡的制造商已经推出一系列的新设备,以满足现代邮件部门不断
胰岛素抵抗是目前公认的2型糖尿病和肥胖的共同病理基础,而且还与高血压具有重要的交互关系,共同影响代谢综合征和心血管疾病的发生发展.因此,及早地对胰岛素抵抗状态进行干