propositional logic
短语[计] 命题逻辑
词形变化
propositional logics
复数
propositional logics
释义与例句
n.
-
1.
A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.
数学 哲学