“命题逻辑”的英语表达是 "propositional logic" 。
例如：Propositional logic is a fundamental part of formal logic.（命题逻辑是形式逻辑的基础部分。）