基于标准化表示的命题逻辑公式的D-随机真度

来源 :中国海洋大学学报:自然科学版 | 被引量 : 0次 | 上传用户:feboy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
根据命题逻辑公式的D-随机真度的概念,给出了基于主析取范式中所有极小项的上标向量集合的命题公式D-随机真度的计算公式,讨论了在基本逻辑运算下公式的D-随机真度关系以及逻辑推理的D-随机有效度问题。
其他文献
臭氧氧化能有效地分解污泥,为对臭氧氧化后污泥性质的变化进行系统的研究,本文采用接触反应柱对污泥在臭氧氧化过程中性质的变化进行了研究.结果表明,在臭氧投量为0.1gO3/gSS
劳动力与产业的"双转移"促进了西部地区的城镇化进程,伴随着西部中小城市规模急剧扩张,同时带来了城市的生态环境恶化、资源紧缺、公共服务成本高等多种"城市病"。从城镇化背景下
通过红外热像图确定炉窑内衬缺陷部位,根据缺陷严重程度、面积大小,制定施工方案,指导灌浆造衬施工等,保证炉窑设备安全运行.