Lukasiewicz逻辑系统中的广义重言式理论

来源 :西南交通大学学报 | 被引量 : 0次 | 上传用户:wenproklklklkl
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
将逻辑系统-/W,W,Wk中的广义重言式理论进行推广并应用到Lukasiewicz逻辑系统中,主要结果是:得到了逻辑公式集F(S)在系统中关于同余的分划;证明了在该逻辑系统中对每个无理数α而言,不存在可达α-重言式,且对每个实数α而言式不存在可达α^+-重言式,给出了广义重言式、广义矛盾式各类之间的关系定理。
其他文献
以钠基膨润土为原料,制备了镍硅交联改性膨润土,并应用于模拟废水、实验室废水,探讨了镍硅交联改性膨润土对废水中COD、Cr6+、色度、浊度的去除率的影响因素,分别对镍硅交联
本试验采用自行设计的电凝聚污水处理装置,对含重金属污染物的综合废水进行处理,废水处理能力为1m3/h.结果显示:电凝聚法处理后的出水水质达到污水综合排放标准,对铜、锌、铬
针对超稠油废水污染的问题,确定采用混凝沉降、砂滤、活性炭吸附处理超稠油废水,处理后的水达到国家排放标准.此方法工艺比较简单,处理效果好.
采用状态方程的方法给出了基于CARMA模型的显式,GPC算法的稳定性及收生证明,辨识算法采用增广最小二乘法。
本文详细介绍了自主开发的HG-HC型烟尘粉尘在线监测仪的监测原理、技术特点及应用情况。
罗汉果Siraitia grosvenorii(Swingle)C.Jeffrey是我国特有的珍贵葫芦科植物,果实营养丰富,广泛应用于医药、食品和饮料行业。其制品、干果等产品畅销国内外,特别在日本、东南亚和
全文对中西医治疗良性甲状腺结节的相关文献进行综述,分析良性甲状腺结节的中医病因病机及西医发病机制,并从中医治疗(内治与外治)、西医治疗及中西医联合治疗等方面归纳和总
合理、有选择地进食,将使您的身体健康美丽,充满青春活力。虽然这不是能立见竿影的事情,但是,只要您按专家的建议会做,注意日常生活中的食物搭配,合理地食用新鲜蔬菜、水果。鱼、谷
近年来,蒙山县夏橙栽培面积发展到466.7hm^2,为了更好地开展技术服务,笔者对全县夏橙高产栽培进行调研,在调研中见到不少高产典型。现将夏橙高产栽培技术经验总结如下:
目的 观察吸氧对肛周脓肿术后早期愈合的疗效。方法 选择80例肛周脓肿患者,随机分为对照组和观察组,每组各40例。所有患者均行手术治疗,两组患者均给予常规护理(每天中药坐浴