-
A propositional content can have different focuses of sentence.
一个命题内容可以有不同的语句焦点.
-
The model for deductive theory is the propositional calculus.
演绎推理理论的模型是命题演算.
-
This paper works on propositional logic system in Computer Logic.
本论文研究了计算机数理逻辑中的命题演算部分内容.