This paper deals with the formal system of propositional calculus of medium logic ( MP ). 本文讨论了中介逻辑命题演算(MP)的形式系统。
This paper mainly discusses formal theorm judged algorithm in entailment system propositional calculus Cm and object events in the actual world with the form of deep thinking that it expresses. 本文主要讨论制约系统命题演算Cm中形式定理的判定算法,以及现实世界对象事件和对其思考的形式表示。