命题集F(S)上的一种等价分类方法

作者：王昭海; 吴洪博

来源：计算机工程与应用, 2016, 52(16): 56-58.

• 相似关系
• 距离
• 闭包
• 拓扑

给出了命题集F(S)上的一种等价分类方法,得到一个集合[F]。同时在集合[F]上定义距离ρ及闭包运算C*,得到在[F]上存在唯一的一个拓扑Τ,使得在拓扑空间([F],Τ)中对任意的集合Γ[F]都有C*(Γ)=Γ。

• 出版日期2016
• 单位安康学院; 陕西师范大学