Disjunction

释义 Definition

“Disjunction”常指逻辑学中的“析取/或”：在两个（或多个）命题之间用“or”连接的关系；只要其中至少一个为真，整体就为真。也可泛指分离、分裂、脱节（较常见于抽象或学术语境）。

发音 Pronunciation

/ˌdɪsˈdʒʌŋkʃən/

例句 Examples

I can take the bus or walk; it’s a simple disjunction.
我可以坐公交或步行；这是一个简单的析取（“或”关系）。

In classical logic, the disjunction “A or B” is false only when both A and B are false.
在经典逻辑中，析取命题“A 或 B”只有在 A 和 B 都为假时才为假。

词源 Etymology

来自拉丁语 disiunctio，意为“分开、分离”，由 **dis-**（分开）+ iungere（连接、结合）构成。后来进入英语，在逻辑学中专门用来表示“用 or 连接的命题关系”（析取）。

相关词 Related Words

• Conjunction
• Disjunctive
• Or
• Exclusive
• Inclusive
• Negation
• Proposition
• Implication

文学与著作 Literary Works

• Tractatus Logico-Philosophicus（维特根斯坦）：讨论命题逻辑结构时涉及析取等连接词。
• Principia Mathematica（怀特海 & 罗素）：以形式逻辑系统化呈现包含析取在内的逻辑运算。
• A Mathematical Introduction to Logic（赫伯特·恩德顿 Enderton）：逻辑教材中系统讲解“disjunction”。
• Logic（欧文·柯比 Irving M. Copi 等逻辑学教材）：在命题逻辑章节频繁出现该术语。