命题逻辑紧致性定理的拓扑证明与一阶逻辑紧致性定理在拓扑空间中的等价形式

摘要

我们通过引入拓扑结构给出命题逻辑紧致性定理的拓扑证明,并给出一阶逻辑紧致性定理在拓扑空间中的等价形式。