| 释义 |
propositional logic
释义
命题逻辑：一种形式演绎系统，其中可以通过逻辑连接词将原子命题组合形成表示命题的公式。
例句
1·This paper introduces a method for propositional logic calculation.
介绍了命题逻辑演算方法。
2·Off-line, propositional logic has been compiled into some tractable target language;
离线阶段，命题理论被编译成某种易处理的目标语言；
3·In the knowledge implication propositional logic system which build on this strategy, 1.
在根据这种策略而建立的知识蕴涵命题逻辑系统中：1。
|