Compound Proposition

释义 Definition

复合命题：在逻辑中，由两个或更多简单命题通过逻辑联结词（如 and, or, not, if…then）组合而成的命题。它的真值取决于组成部分及联结方式（常用真值表分析）。（另有“化学中的 compound=化合物”等义项，但此处为逻辑学用法。）

发音 Pronunciation (IPA)

/kmpand prpzn/

例句 Examples

A compound proposition combines two statements with “and” or “or.”
复合命题用“and”或“or”把两个陈述组合起来。

In propositional logic, the compound proposition “If it rains, then the ground is wet” is false only when it rains and the ground is not wet.
在命题逻辑中，复合命题“如果下雨，那么地面是湿的”只有在“下雨且地面不湿”时才为假。

词源 Etymology

compound 源自拉丁语 *com-*（“一起”）+ ponere（“放置”），引申为“组合而成的”。proposition 源自拉丁语 proponere（“提出、陈述”），在逻辑语境中指“可判定真假的陈述”。合在一起，compound proposition 就是“由多个陈述组合成、仍可判真假的命题”。

相关词 Related Words

• Biconditional
• Conjunction
• Conditional
• Disjunction
• Logical Connective
• Negation
• Proposition
• Statement
• Truth Table

文学与经典作品 Literary Works

• Principia Mathematica（Whitehead & Russell）以命题与联结词系统化讨论复合命题结构。
• An Introduction to Formal Logic（Peter Smith）讲解复合命题、真值函数与推理规则。
• A Concise Introduction to Logic（Patrick J. Hurley）用大量练习说明复合命题与真值表。
• Discrete Mathematics and Its Applications（Kenneth H. Rosen）在离散数学中用复合命题表达与证明命题关系。
• Introduction to Mathematical Philosophy（Bertrand Russell）讨论逻辑命题的组合形式与意义。