逻辑系统L3*中命题的一种真度

来源 :潍坊学院学报 | 被引量 : 0次 | 上传用户:NSWDAR
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于条件概率的思想,在逻辑系统L3*中定义了一种新的真度,同时讨论了该真度的性质及相应的推理规则.
其他文献
众所周知,备好课是教好学的重要一环,其中教学设计是重中之重,教学设计是一个系统工程,教学设计是一节课成功与否的关键,所以教师首先要吃透教材,明确课程标准,其次要分析学情,并确立
随着越来越多的女性参与到劳动力市场,性别工资差异问题逐渐成为社会普遍存在的问题。适当比例的性别工资差异是市场竞争和生产要素分配的结果,有利于促进竞争和提升经济活力
一个有限维动力系统的Liouville可积性是指系统中的方程能表示为Hamilton方程,且存在n个独立的互相对合的守恒量,同时在对孤子方程的研究中发现许多无限维的Lax可积系统也具
机器带有时间约束的分批排序问题是一类新型排序问题.本文首次对1,R|B≥n|∑CJ问题进行了研究.并给出了一个伪多项式时间动态规划算法.
研究层次分析法中判断矩阵次序一致性的判定与改进方法.利用离散数学中关系的性质和运算给出判断矩阵次序一致性的判定方法.通过引进关系矩阵和关系图可以有效地找出判断矩阵
在文献[2]的基础上,给出一种新的区间数可能度的定义,并研究了所给定义具备的优良性质.在所给定义的基础上,通过建立区间数可能度矩阵,给出一种区间数排序的新方法.最后,通过
对ppl-空间的遗传性质进行了探讨.获得的主要结果是:(1)ppl-空间的开遗传性蕴含遗传性;(2)ppl-空间具有Fσ遗传性;(3)完备的ppl-空间具有遗传性.
据笔者调查,现在农村小学生绝大多数喜欢数学,而对语文存在畏难情绪。无论是在家或在学校完成作业,学生首选数学作业,而后勉强后或者不完成语文作业,故农村小学生语文整体水平差。
本文建立了有介值性质的未必连续的Lebesgue可积函数的Lebesgue积分中值定理,推广了文献[1]和文献[2]中的结论.