This paper deals with the formal system of propositionalcalculus of medium logic (MP).
本文讨论了中介逻辑命题演算(MP)的形式系统。
2
MP~M is a 3-valued logic propositionalcalculus system which is based on the medium logic system, and it is used to deal with the incomplete information in the database.