This paper deals with the formal system of propositional calculus of medium logic (MP).
本文讨论了中介逻辑命题演算(MP)的形式系统。
2
Understanding the integral calculus of LOGO can lead to complex mathematical ideas in an intuitive context well before the student has progressed to levels of formal operational thought.