三值R0命题逻辑系统的随机化

来源 :应用数学学报 | 被引量 : 0次 | 上传用户:lingxiaodong
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
利用赋值集的随机化方法,在三值R0命题逻辑系统中提出了公式的随机真度和随机距离,建立了随机逻辑度量空间.指出当取均匀概率测度,且各概率测度均为1/3时,随机真度就转化为计量逻辑学中的真度,同时两公式间的随机距离就转化为计量逻辑学中的伪距离,从而建立了更具一般性的随机逻辑度量空间.
其他文献
目的:观察促红细胞生成素(EPO)对谷氨酸(Glu)诱导的大脑皮质神经元损伤的保护作用和核因子-κB(NF-κB)介导的细胞内信号转导机制。方法:采用1日龄Wistar大鼠皮层神经细胞体
在信息时代,信息可以帮助团体或个人,使他们受益,同样,信息也可以用来对他们构成威胁,造成破坏.因此网络安全包括组成网络系统的硬件、软件及其在网络上传输信息的安全性,使
进入新世纪,知识在经济发展中的作用越来越来明显.而知识的载体--人,特别是知识员工--高绩效群体,成为企业发展成功的关键因素.本文主要从知识员工这类群体的特点,结合组织行
针对原高中数学教材中存在的内容陈旧等弊端 ,根据新《数学教学大纲》编写的高中数学新教材 (试验本 )对有关教学内容进行了较大幅度的改革与更新 ,精简了不少传统内容 ,同时
一、国营企业的人力资源现状rn进入知识经济时代,智力资本成为企业的第一竞争要素,人力资源管理的重要性愈加凸显.然而,曾经稳居头把交椅的国营企业,在人才竞争中却越来越有
政治文献主要是指党和国家领导人的言论和讲话、党和政府的文件和工作报告等.随着世界全球化进程的不断加快和我国改革开放政策的进一步实施,对外宣传的力度进一步加大,政治
精英原初是用来描述被选举出来的人,与elect等词语有关.自1945年,elitism(精英主义)ehdst(精英主义者)的负面意涵变得普通起来.米尔斯给了我们解释.
众所周知,高校图书馆在高等院校作为三大教学支柱(教学设施,师资力量,图书馆藏)之一,在目前的科研工作中的地位日益凸显,建立良好的图书馆氛围不仅为高等院校校园文化和社会
城市人才产出竞争力反映了城市人才对城市经济社会发展的贡献和促进作用,确定出城市人才产出竞争力评价指标体系,来科学评价城市人才产出能力的优劣,确保城市有效发挥人才效益,让
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7