论域

论域，有时叫论述全集，是在演绎逻辑特别是谓词逻辑中使用的分析工具。它指示量词所处理的有关实体的集合。

术语"论域"一般指称在特定论述中使用全部术语的完整集合，就是说，特定于感兴趣的领域的语言学或语义学术语家族。在模型论语义中，术语"论域"指称模型所基于的实体的集合。

数据库是一个组织的事实的某些方面的模型。通常称呼这种事实为"论述全集"或"论域"。

  论域是一个與逻辑学相關的小作品。你可以通过编辑或修订扩充其内容。