论域

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

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

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

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

来自“http://www.movieclub.com.cn/wiki/%E8%AE%BA%E5%9F%9F”

3个分类: 逻辑学小作品 | 數理邏輯 | 语言哲学