##### 逻辑紧致性 - 逻辑紧致性 - **逻辑紧致性**是指如果一个公式集的任意有限子集都有模型, 是可满足的, 那么整个公式集也有模型