中介命题系统MP推理规则的简化

对中介逻辑命题演算系统 MP的 1 8条推理规则作了简化 ,从中删除了 5条不独立的推理规则 ,构成与原推理规则集 S等价的形式推理规则集 S1。