The model for deductive theory is the propositional calculus.

演绎推理理论的模型是命题演算.

互联网

This paper works on propositional logic system in Computer Logic.

本论文研究了计算机数理逻辑中的命题演算部分内容.

互联网

First order logic is a most important concept in the field of propositional logic.

而一阶谓词逻辑化为其前束范式是命题演算的重要步骤.

互联网

Can attend propositional invitational tournament, this is a challenge, also be an opportunity!

都可以参加命题邀请赛, 这是一次挑战, 也是一次机会!

互联网