论文部分内容阅读
研究了多值逻辑系统中各种重言式与经典逻辑系统中重言式间的关系.指出了多值逻辑系统中判断公式不是重言式的充分条件,并对其中一些重要的有限值逻辑系统给出了判断公式是否为重言式的简化方法.
逻辑系统中重言式及广义重言式的关系
【摘 要】
：
研究了多值逻辑系统中各种重言式与经典逻辑系统中重言式间的关系.指出了多值逻辑系统中判断公式不是重言式的充分条件,并对其中一些重要的有限值逻辑系统给出了判断公式是否
【机 构】
：
甘肃工业大学基础科学系,西北纺织工学院数理系
【出 处】
：
纺织高校基础科学学报
【发表日期】
：
2001年1期
其他文献
讨论了对二元函数的一个极值问题推广到n元情况.对n=2给出了另一个证明它至多有唯一的非鞍点极值点.而对n≥3时,它至多有二个非鞍点极值点.一个极大,另一个极小值.而且对n=3
以金融环境中影响资本运营的宏观要素为出发点,探讨它们对养老基金运营风险及效率的作用。研究发现,只有在资本市场相对成熟、稳定的情况下,才能确保养老基金具有较强的保值
针对目前图像修复效率低下的问题,提出一种基于区域加权信息熵的图像修复改进算法。根据颜色向量角能够衡量图像中的颜色差异特性,先构造边缘项来代替Criminisi算法中的数据项,并改进优先权计算方式;然后根据区域加权信息熵对图像待修复区域进行分块,进而根据熵值确定最佳匹配块。最后的实验结果表明,文中的图像修复算法不但有更好的修复效果,且耗时更少。
利用计算机实现车间作业调度的仿真，分析了混合流程生产过程的特点；利用数学方法给出了一类工业线绳制造企业车间作业调度模型。初步探讨了求解该问题的技术问题。
作为公民的基本福利和底线公平要求，医疗保障就如同食盐：盐不可不食，病不可不医。“看病难、看病贵”的苦涩现实使得这项刚性需求变得有些奢侈品化，投射出扭曲的认同阴影。
美国洛厄尔天文台的天文学家特拉维斯·巴曼近日透露，他在一颗类似于木星的气体行星上发现了水蒸气的存在。英国《独立报》2006年4月11日报道了这一消息。如果消息得到进
“少林运动”一直被认为是嵩山地区的前寒武纪的三大地壳运动之一，在嵩山地区的地质构造发展史上被赋予了重要的意义。但通过对河南、华北乃至全国寒武系地层与下伏地层的接触
在新课程改革的大形式下，各种教学模式层出不穷，各地纷纷掀起学洋思、学杜郎口的风暴，语文教学又总是冲在最前的弄潮儿。此次教育改革的重点之一就是转变学生的学习方式，即教学模