论文部分内容阅读
在格值命题的逻辑推理下，给出了∨─∧格值蕴涵算子，并讨论了一些命题。本文在此基础上继续讨论一些性质，而且给出了基于这类格值蕴涵算子上的近似推理方法。
一类格值蕴涵算子上的近似推理
【摘 要】
：
在格值命题的逻辑推理下，给出了∨─∧格值蕴涵算子，并讨论了一些命题。本文在此基础上继续讨论一些性质，而且给出了基于这类格值蕴涵算子上的近似推理方法。
【机 构】
：
辽宁工学院基础数学教研室,121001
【出 处】
：
辽宁工学院学报
【发表日期】
：
1994年4期
其他文献
针对水库型水源地库区农村生活污水产生量大、分散、不便于管理等特点,结合农村的实际情况,提出了利用垂直流人工湿地系统处理库区生活污水的新思路.运行结果表明,经过该人工
通过对圆盘从斜面上向下纯滚动的物理过程的分析和计算，揭示出静摩擦力是圆盘由平动向转动转化的必要条件。
北京市水情形势严峻、生态环境现状堪忧,需要推进外调水多元保障体系建设,提高城乡用水安全;需要通过加快连通水系河网、恢复地下水源储备、加强再生水循环利用、完善城市雨
数字图书馆不仅是未来图书馆发展的方向,也是国家信息基础建设的一个重要组成部分。本文通过对2010年度国内数字图书馆研究论文的主题与内容进行分析,介绍了我国数字图书馆在
专业化是一个社会学概念，其含义是指一个普通的职业群体在一定时期内，逐渐符合专业标准、成为专门职业并获得相应的专业地位的过程。高校教师专业化发展特指加强教师专业性的这
实施有效课堂教学的最根本的一点就是要给学生自主思维的权利，让学生真正经历自主建构的过程。然而，综观现实中的一些常态课堂，存在的一个最突出的问题就是缺少生命因子——思维
通过对4L－20／8空压机技术改造必要性的描述，制定了改造方案，进行了详细的工艺计算。压缩机改造后，排气量、排气压力满足了公司的多种产品的生产，压缩空气净化质量符合GMP的要求，并且