命题逻辑 (命題邏輯) mìngtí luóji

mìngtí luóji set phrase propositional logic
Domain: Modern Chinese 现代汉语
Notes: (CC-CEDICT '命題邏輯')