命題論理の場合、この条件はK{\displaystyleK}が単一の最小のモデルしか持たないことと等価であり、モデルが最小とは真である変項の部分集合を持つ他のモデルが存在しないことを意味する。
在知识库K{\displaystyleK}的所有Herbrand模型的交集也是K{\displaystyleK}的模型的时候，封闭世界假定完全不会把矛盾介入K{\displaystyleK}；在命题的情况下，这个条件等价于K{\displaystyleK}有一个单一的最小化模型，这里模型是最小化的，如果没有其他模型拥有被指派为真的这些变量的子集。