1、In the knowledge implication propositional logic system which build on this strategy, 1.
在根據(jù)這種策略而建立的知識(shí)蘊(yùn)涵命題邏輯系統(tǒng)中：1。

2、Off-line, propositional logic has been compiled into some tractable target language;
離線階段，命題理論被編譯成某種易處理的目標(biāo)語(yǔ)言；

3、Symbolic logic is often divided into two branches, propositional logic and predicate logic.
符號(hào)邏輯往往分為兩個(gè)分支，命題邏輯和謂詞邏輯。

4、This paper introduces a method for propositional logic calculation.
介紹了命題邏輯演算方法。

propositional logic翻譯