propositional logic造句

1、In the knowledge implication propositional logic system which build on this strategy, 1.
在根据这种策略而建立的知识蕴涵命题逻辑系统中：1。

2、Off-line, propositional logic has been compiled into some tractable target language;
离线阶段，命题理论被编译成某种易处理的目标语言；

3、Symbolic logic is often divided into two branches, propositional logic and predicate logic.
符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。

4、This paper introduces a method for propositional logic calculation.
介绍了命题逻辑演算方法。

propositional logic翻译