本文讨论了中介逻辑命题演算(MP)的形式系统。
This paper deals with the formal system of propositional calculus of medium logic (MP).
立足于这一研究命题，基于现代金融中介理论，对我国农村金融机构变迁的历史逻辑进行了分析研究。
Established in this proposition and based on modem theory of financial intermediary, this paper discussed and analyzes on historical logic of vicissitudes in Chinese rural financial institution.
MP~M系统是在中介逻辑系统的基础上建立起来的，用于处理数据库中不完全信息的三值逻辑命题演算系统。
MP~M is a 3-valued logic propositional calculus system which is based on the medium logic system, and it is used to deal with the incomplete information in the database.
应用推荐