• This paper deals with the formal system of propositional calculus of medium logic (MP).

    本文讨论中介逻辑命题演算(MP)形式系统

    youdao

  • 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~M系统中介逻辑系统基础建立起来的,用于处理数据库不完全信息的三值逻辑命题演算系统。

    youdao

  • 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~M系统中介逻辑系统基础建立起来的,用于处理数据库不完全信息的三值逻辑命题演算系统。

    youdao

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定