“命题逻辑”的英语表达是 "propositional logic"。
在逻辑学、数学、计算机科学等相关领域中，这一术语被广泛使用。例如：
In propositional logic, we deal with simple statements and their combinations using logical connectives.（在命题逻辑中，我们处理简单陈述以及使用逻辑连接词对它们进行的组合。）