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

The Simplicity of the Inference Rules in the Medium Propositional System MP

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

In this paper, the eighteen formal inference rules of the medium logical propositional calculus system MP are simplified, five of which have been omited and the simplified formal inference rules S 1 which equalize former inference rules S are constituted.