Disjunction（音标：/dɪˈzʌŋkʃn/）是一个在逻辑学、语言学以及计算机科学中常见的术语，中文通常翻译为“析取”或“或”。它表示两个或多个命题之间的一种逻辑关系，即“至少有一个成立”的情况。
在逻辑学中，disjunction 通常用符号 ∨ 表示，例如 A ∨ B，表示“A 或 B 至少有一个为真”。这种逻辑结构在数学、编程和形式化推理中广泛应用。
举个例子：
如果 A = “今天下雨”，B = “我有空”，那么 A ∨ B 的意思是：“今天下雨，或者我有空。” 这意味着只要其中一个条件成立，整个表达式就为真。
在语言学中，disjunction 也常用于描述句子结构中选择性或对立性的表达方式。例如，“你去还是不去？” 这样的句子使用了 disjunction 的结构，表示两种选择中的一种必须被选中。
与 disjunction 相对的是 conjunction（合取），用符号 ∧ 表示，表示“同时成立”的逻辑关系。例如，A ∧ B 表示“A 和 B 都成立”。
在编程中，disjunction 通常对应于逻辑运算符 ||（或）。例如，在 JavaScript 中，if (x > 5 || y < 10) 表示“如果 x 大于 5 或者 y 小于 10，则执行某段代码”。
Disjunction 是一个非常重要的逻辑和语言概念，广泛应用于数学、逻辑学、语言学和计算机科学中。理解 disjunction 的含义，有助于我们更好地掌握逻辑推理、语句分析和程序设计。