絶対に忘れないAI辞書＆単語帳アプリ「DiQt（ディクト）」

最終更新日：2025/11/23

例文

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

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

正解を見る

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

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

名詞

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

日本語の意味

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

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

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

項目の編集設定

例文の編集設定

問題の編集設定