| 词汇 | propositional calculus |
| 类别 | 英汉双解翻译词典 |
| 释义 | propositional calculus 释义 命题演算:一种逻辑系统,用于处理命题的真值和关系,通常用于分析和推理复杂的命题结构。 例句 1·This paper deals with the formal system of propositional calculus of medium logic (MP). 本文讨论了中介逻辑命题演算(MP)的形式系统。 2·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系统是在中介逻辑系统的基础上建立起来的,用于处理数据库中不完全信息的三值逻辑命题演算系统。 同义词 [数]命题演算 calculus of proposition |
| 随便看 |
|
忘忧网共收录380556个中英文词条,基本覆盖所有常见英语词汇的释义及翻译,是不可多得的语言学习平台,帮助读者化解英语学习中的各种疑难问题。