论文部分内容阅读
对中介逻辑命题演算系统MP的18条推理规则作了简化,从中删除了5条不独立的推理规则,构成与原推理规则集S等价的形式推理规则集S1.
中介命题系统MP推理规则的简化
【摘 要】
：
对中介逻辑命题演算系统MP的18条推理规则作了简化,从中删除了5条不独立的推理规则,构成与原推理规则集S等价的形式推理规则集S1.
【机 构】
：
解放军理工大学理学院
【出 处】
：
解放军理工大学学报：自然科学版
【发表日期】
：
2001年1期
其他文献
本文通过对WTO规则和市场经济基本机制相互关系的比较,分析加入WTD对我国市场经济平等、自由、竞争、信用等规则法制建设的影响,提出应当尽快协调国内法制与WTO规则的建议.
解决故障相关性是实现故障管理自动化的关键。介绍了网络管理及故障管理的基本概念 ;引入离散数学中的有关理论 ,提出了故障相关图、故障连接图、极大相关类等概念 ,用于研究
现有电场和电网关断装置关断时间较长(约100 ms),易对发电机造成毁坏,导致重大损失.研究了一种超高速关断装置,可以实现对电网小于120μs关断.对构成该关断装置的关键性部件
ＬＣＣ分析法是一种系统管理科学，其目的是用最少的经费购买和使用最有效的装备，应用ＬＣＣ分析法可确定某工程装备的全寿命周期费用，为某工程装备的研制方案和选型决策提供依据。
为了促进课程改革,提高教学水平,设计了以学生为中心的教学环节。在理论学习上分散教学难点,在网络平台上展示学生的作品,在课下延展学科知识。结果表明BB系统网络教学平台为
电子邮件是互联网的重要应用之一 ,它的安全性已越来越受到人们的关注。首先介绍了互联网上加密电子邮件的新软件—— PGP,具体分析了用 PGP加、解密电子邮件的详细过程 ,并
在Delaunay三角形剖分理论的基础上,分析了三角形剖分算法的经典优化原则存在的缺陷,研究了三角形形态比的特性,提出了最大三角形形态比优化原则,该原则克服了经典优化原则的
应用刚度分解法对复合材料对称较层厚合板弯曲问题的分析计算进行简化。根据赖斯纳理论建立起来的控制微分方程组相当于六阶偏微分方程，其定解问题数学上非常复杂，采用刚度分解
在寿命分布为双参数指数分布的前提下，对失效率加速模型（2）和保证寿合加速模型（3）讨论了利用双应力交叉步加试验数据对参数进行最佳线性无偏估计（BLUE）的方法，然后由模型求得正常工作