議論領域

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "議論領域" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2023年5月)

議論領域（ぎろんりょういき、英: domain of discourse, universe of discourse）は、演繹、特に一階述語論理で使われる用語である。量化子で扱われる実体の適切な集合を指す。

議論領域という用語は一般に、特定の議論で使われる項全体の集合を指す。特定の議論とはすなわち、任意の1つの関心領域での言語学的または意味論的項の集まりである。モデル理論的な意味論では、議論領域という用語は、モデルが基づく実体集合を指す。

データベースは組織の現実のある面をモデル化したものである。このような現実を便宜的に「議論領域」と呼ぶこともある。

関連項目

• 定義域
• 領域理論
• 自由変数と束縛変数

この項目は、数理論理学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。

• 表示
• 編集