【摘 要】
：
利用势为n的均匀概率空间的无穷乘积,在n值广义Lukasiewicz命题逻辑系统L*n中引入命题的真度概念,证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式
【机 构】
：
陕西师范大学数学研究所,陕西师范大学数学研究所 西安710062 兰州理工大学理学院,兰州730050,西安710062
论文部分内容阅读
利用势为n的均匀概率空间的无穷乘积,在n值广义Lukasiewicz命题逻辑系统L*n中引入命题的真度概念,证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式及真度推理规则;利用真度定义了公式间的相似度,进而导出了全体公式集上的一种伪距离,为n值命题逻辑的近似推理理论提供了一种可能的框架.
By using the infinite product of even probability space with potential n, the concept of fidelity of propositions is introduced into L * n of n-valued generalized Lukasiewicz propositional logic system, which proves that the set of truth degree of the whole formula is dense on [0,1] , And gives the formulas of truth degree truth degree and rules of truth degree reasoning. The degree of similarity between formulas is defined by degree of truth, and then a kind of pseudo distance on the whole formula set is derived, which is the approximation of n-valued propositional logic Reasoning theory provides a possible framework.
其他文献
The novel complex [Cu(Phen)(C_2O_4)H_2O]·H_2O has been synthesized by K_2[Cu(C_2O_4)_2].2H_2O and Phen,where Phen=1,10-phenanthroline.The crystal structure of
立足社会,促进思想政治教育社会化是令其与社会环境相适应,并逐步创新完善的过程,因此笔者以思想政治教育社套化为视角探析了目前思想政治教育发展逻辑路线中存在的误区,并制
基于几何光学原理,以射线光学计算模型为基础,对几何尺寸远大于光波长的米氏球状粒子所受轴向光阱力进行了计算。在给定参量条件下,进行了数值仿真,并根据仿真结果,讨论了光
以太原市玉门河街道路改造工程设计为例,对旧水泥混凝土路面的利用和补强进行了分析、研究和论述,提出了经济可行的沥青加铺层设计方案。
Taking the engineering design of
由所有区间[a,b]上(r-1)阶导数绝对连续而其r阶导数几乎处处被常数K所界定的函数组成的类记为KW~r[a,b]．设函数f∈KW~r[a,b]在一组节点x处的函数值及其直到(r-1)阶的导数值为已知,称之为给定的Hermite信息．本文报道函数类KW~r[a,b]基于给定Hermite信息的最佳求积公式．通过完全样条插值解决了该问题解的存在性和具体的构造,结果表明该问题的解决依赖于插值样条的自
运用对偶标度统计方法计算儿童发展调查问题中原始数据的变量权和样本得分,从而确定评价因素集.采用多层前馈模糊神经网络——FM LP实现对儿童个体综合素质的定量评价.
Usin
近年来,我们为了确保公路工程按计划全面地完成任务,各施工单位在新建和改建路面工程中,普遍加强了施工质量管理,在公路的新建工程中,我们在工地设立了工地试验室,配备了一定
随着我国经济的发展,私家车的逐渐普及,自驾车旅游成为了一种新型的出游方式.虽然相对于欧美等发达国家,我国的自驾游市场发展的较晚,但速度较快,已经占领了一定的市场份额.
本文研究一类描述在顺流方向上存在可变剪切流动的长波的变系数Boussinesq方程:utt+{αuxxx+[β+f(x)]ux+ωuux+g(x)u}x=0的Plainlevé性质及相似解,其中f(x)和g(x)是两个实
近年来,随着我国建筑事业的飞速发展,各式各样的住宅小区不断涌现.面对众多选择,人们购买时越来越注重住宅的设备配套功能,尤其是对给排水系统尤为关注.给排水系统的设计是否