zh 命題邏輯
― Synonym ⟶
Weight: 1.0
zh 命题逻辑 Source: CC-CEDICT 2017-10
zh 命题逻辑
― Synonym ⟶
Weight: 1.0
en propositional logic Source: CC-CEDICT 2017-10