论域

Wikipedia 维基中文免费百科全书

论域

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

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

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

本文章的材料选自维基百科^(R), 并有 GNU 免费文件许