编辑“︁论域”︁

{{unreferenced|time=2018-05-08T16:36:00+00:00}}
'''論域'''{{notetag|或稱做'''論述[[全集]]'''}}（{{langx|en|Domain of discourse}}），在[[形式科學]]裡是指在某些系統化的論述裡的一些令人感興趣的[[變數]]之上，由其中的[[實體]]所組成的[[集合 (数学)|集合]]。論域通常被視為預備知識，所以不需要每一次都指出相關變數的範圍來。

例如，在[[一階邏輯]]的[[解釋 (邏輯)|解釋]]中，論域是指由[[量化 (數理邏輯)|量詞]]能指涉到的個體所組成的集合。在一個解釋裡，論域可以是[[實數]]的集合；在另一個解釋裡，則可能是[[自然數]]的集合。若沒有指定任何論域，則如∀''x'' (''x''<sup>2</sup> ≠ 2) 之類命題的真偽是不確定的。若論域是實數的集合，此命題即是假的，因為有''x'' = √2 做為反例；若論域為自然數的集合，此命題是真的，因為2 不可能是任何自然數的平方。

'''論述全集'''一詞通常是指在特定論述中被討論的一群物件。在模型論的語義裡，論述全集是指由模型所依據的實體所組成的集合。

[[数据库]]是指由一个系統在某一角度上的真實所建成的模型。通常称此類事实为"论述全集"或"论域"。

==注释==
{{notefoot}}
== 另見 ==

*{{鏈解|全集}}
*[[項代數]]
*{{鏈解|定义域}}
*{{鏈解|域理论}}
*{{鏈解|解釋 (邏輯)}}
*[[絕對的普遍性]]——當論域為絕對一切時

[[分類:語義學]]
[[分類:數理邏輯]]


{{Logic-stub}}