| 释义 |
propositional calculusn.Logic（名词）【逻辑学】- The branch of symbolic logic that deals with the relationships formed between propositions by connectives such asand, or, and if as opposed to their internal structure. 命题演算：符号逻辑的分枝，它研究由依赖连词and，or， 和 if 建立起来的判断或命题之间的关系，而不是研究它们的内在结构
|