经典命题逻辑中的一致结构与一致拓扑

为描述经典命题逻辑中全体公式之集F(S)的拓扑结构,基于理论Г在F(S)上诱导的同余关系构建一致结构与一致拓扑.证明了所得的一致拓扑是第二可数的、零维的、没有孤立点的完全正则拓扑,且逻辑连接词乛与→关于导出的一致拓扑是连续的.得出了n个极大相容理论恰好将F(S)划分成2n个两两不交的非空区域,且每个区域在逻辑度量空间中的直径均为1.