模态逻辑中的三值逻辑

来源 :毕节学院学报 | 被引量 : 0次 | 上传用户:aspbasicer
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
每一个真值函数三值命题逻辑都可以翻译为模态逻辑系统S5。定义一般的三值命题逻辑的真值函数,并给出将任意的三值逻辑命题公式翻译成为模态公式的翻译方法。证明了每一S5模型,都存在有一个等值翻译的三值赋值。给出了一个将LP和K3翻译为S5的线性翻译方法。
其他文献
针对目前国内大多数物流分拣集散中心仍采用成本较高,效率和准确率较低的人工分拣方式,设计了一种基于AGV小车的智能物流分拣系统。系统采用了具有光学自动引导装置的无人搬
人类学意义上的“制裁”是一个中性词,系指任何社会群落、群体或组织得以存在所必需的社会控制方式。藉由“制裁”来探讨班级管理,可以超越传统上“奖”-“惩”二元化管理的
公共资源和社会大众的利益有着紧密的联系,对促进社会经济健康快速发展有着积极的促进作用。但因为我国公共资源交易市场建设起步晚,还处于发展的初期阶段,各地在建设运行和
患者女性,31岁,主因突发吞咽困难伴视物跳动感5 d,于2016年12月5日入院。患者5 d前无明显诱因突发吞咽困难、进食障碍,伴视物跳动感,同时出现反复呃逆、恶心、呕吐,伴头晕、
在新媒体互联网时代下,立足本地特色文化,将乡贤文化、风土人情、优秀家风、传统民俗等文化进行深度摄制及广泛传播,通过影视传播途径将中国传统文化进行数字化存储、宣传推
经过长期的人工选择和驯化过程,番茄(Solanum lycopersicum)和黄瓜(Cucumis sativus)已经成为世界范围内广泛栽培且深受人们喜爱的可口蔬菜。最近,中国科学家在番茄和黄瓜的
目的:研究首发抑郁症患者的视空间工作记忆的特点、影响因素。方法:选取56例首发抑郁症患者以及同期健康对照者56例作为研究对象,首发抑郁症患者为观察组,健康对照组者为对照
<正> 本文介绍了传统化粪池的功用及存在问题,提出了对于不能进入城市污水处理厂集中处理的分散建筑排放的粪便污水,采用生态节能型化粪池的工艺过程。对于底层没有设置卫生
在全球变暖、水危机和低碳经济的背景下,大型滑雪场度假区自然降雪的减少,采用人工造雪来增加雪丰度,而人工造雪消耗较大的水资源和能源,并对天文、地文、水文、人文的产生影
大肠黑变病(melanosiscoli,MC)是一种较少见的疾病,是以大肠黏膜色素沉着为特征的非炎症性良性病变。随着肠镜的普及及应用,近年来MC的检出率有明显上升。我科自2005年5月~2009年5