This paper deals with the formal system of propositional calculus of medium logic (MP).
本文讨论了中介逻辑命题演算(MP)的形式系统。
youdao
应用推荐
模块上移
模块下移
不移动