Terms containing propositional logic

Subject	English	Chinese
tech.	Boolean algebra of propositional logic	命题逻辑布尔代数
el.	propositional dynamic logic	命题动态逻辑
telecom.	propositional logic	命题逻辑