propositional的中文翻譯是什麼意思

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!

都可以參加命題邀請賽, 這是一次挑戰, 也是一次機會!