universe of discourse：在逻辑、数学、语言学与语义学中，指“讨论/推理所限定的对象范围”，也常译为论域或讨论域。在这个范围内，量词（如 all, some）和谓词（如 is a student）所谈论的对象才被视为“可取值的对象”。（在不同语境下还可泛指“谈话所默认的范围”，但最常见用法是逻辑学意义。）
/junvrs v dskrs/
In this problem, the universe of discourse is all real numbers.
在这道题里，论域是所有实数。
If we change the universe of discourse from “people in this city” to “all people,” the statement may become false, because the quantifier now ranges over a much larger set.
如果我们把论域从“本市的人”改成“所有人”，这个陈述可能就变成假的，因为量词的取值范围扩大到了更大的集合。
该短语由 universe（“整体、全体；宇宙”）与 discourse（“论述、话语、讨论”）组合而成。其思想可追溯到传统逻辑与近代数理逻辑：为了避免歧义并明确“我们到底在哪些对象”，需要先规定一个“讨论的宇宙/范围”，也就是论域。
Select Language