Last Updated：2025/11/23

(logic) The set of all entities over which quantifiers—including for all and there exists—range.

音声機能が動作しない場合はこちらをご確認ください

See correct answer

universe of discourse

Source Word

universe of discourse

(logic) The set of all entities over which quantifiers—including "for all" and "there exists"—range.

Japanese Meaning

論理学において、量化子（「全て」や「存在」）が作用する全ての対象、すなわち『論域』を指す。 / 論理的議論で参照される全ての個体や実体の集合、つまり対象となる全体的領域。

Before evaluating the formula, the logician defined the universe of discourse to include only natural numbers.

式を評価する前に、論理学者は論域を自然数のみが含まれるように定義した。

Sense（1）

(logic) The set of all entities over which quantifiers—including "for all" and "there exists"—range.

universes of discourse

（ plural ）