【摘 要】
：
对Lukasiewicz命题逻辑系统中的公式真度理论进行了研究.首先,给出了Lukasiewiczn值命题逻辑系统中一个更为直观的真度定义的等价形式;其次,利用真度定义的等价形式简化了连
【基金项目】
：
国家自然科学基金（11171196）
论文部分内容阅读
对Lukasiewicz命题逻辑系统中的公式真度理论进行了研究.首先,给出了Lukasiewiczn值命题逻辑系统中一个更为直观的真度定义的等价形式;其次,利用真度定义的等价形式简化了连接Lukasiewiczn值命题逻辑系统和Lukasiewicz连续值命题逻辑系统中真度理论的极限定理的证明;第三,得到了真度性质：在Lukasiewicz逻辑系统中,把命题公式中的原子命题与该原子命题的否定互换,公式的真度不变;第四,讨论了真度与推理规则之间的关系,给出了Lukasiewicz命题逻辑系统中真度与MP规则
其他文献
本专集从施工、架设技术的变迁开始，汇集了所有关于安全问题、环境问题、成本降低、信息化、制度体系、经营管理等施工方面的话题，从软、硬件方面抓住全貌，不仅对施工方面，对设计
《一个人的遭遇》通过描写一名普通战士索科洛夫在战争中的悲惨遭遇,反映了战争给人类带来的奴役和摧残，写尽人类的苦难和人性的光辉。作者从“人”的角度来审视革命，而不是从
问：我因患风湿正在做理疗，烦请医生介绍一下做理疗时病人应注意什么。
目的了解沧州市农村人口高血压病流行情况,探讨可能的危险因素,为制定合理的预防措施提供依据,并归纳其中医症候分布。方法采用随机整群抽样方法抽取沧州某乡镇4个农村,年龄5
孩子们的日常生活往往被大人安排得满满当当，甚至如果一天不安排孩子的活动，父母们就会感到不自在。但孩子们真的需要那么多活动吗？
北方人爱吃油条，有时家里也会炸上一点儿。但有些研究指出，油炸淀粉类食物会产生一些有害物质，也就是丙烯酰胺，它在油炸过程中通过天门冬酰胺和碳水化合物进行美拉德反应而形成。丙烯酰胺可通过消化道进入人体，具有一定的神经毒性。研究显示，在与食物有关的癌症中，30％-40％都与丙烯酰胺的毒性有关，因此减少油条等油炸食物中的丙烯酰胺就很必要。 最近的一份实验表明，改变加工工艺就能显著减少油条中的丙烯酰胺含量
正确排尿可以减少患膀胱癌、前列腺癌、直肠癌、慢性前列腺炎等多种疾病的几率。北京军区总医院泌尿外科中心副主任医师杨裕树建议男性试试以下技巧。 老年男性小便可蹲下 有关资料显示,经常采取蹲位排尿的男性患直肠癌、膀胱癌和前列腺癌的几率较站立排尿者低一半。这是因为蹲下排尿可以使人体出现一系列的肌肉运动及其相关反射,能起到加速肠道废物的排出、缩短粪便在肠道内的停留时间、减少肠道对致癌物吸收的作用。 另
本文利用摄动理论和方法,讨论了一类Rayleigh方程的奇摄动问题.相应于参数q=0和q=0,分别得出了该类问题解的渐近表达式.并将结果应用于两个例子的求解.通过对渐近解与精确解
1992年11月初冬的一夜,位于海盐朝阳桥畔的家电商店于深夜突然起火,且火势迅速蔓延,致使价值几十万元的彩电、录像机、收录机、电冰箱等高档家电毁于一旦！值班员在恶梦中惊醒,