命题演算系统指在在数理逻辑中，命题演算可以通过运用演算手段即建立形式系统进而把对重言式以及正确推理形式的研究，转变成对形式系统的研究。
标准命题演算系统定理 standard proposition calculations system theorems
标准命题演算系统公理 standard proposition calculations system axioms
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.
本文讨论了中介逻辑命题演算(MP)的形式系统。
This paper deals with the formal system of propositional calculus of medium logic (MP).
应用推荐