论文研究 n元经典逻辑度量空间中的平移变换.pdf

利用模2的加法运算和逻辑公式的向量表示构造了n元经典逻辑度量空间中的平移变换。得到了平移变换的一些简单性质，证明了平移变换保持非运算，但不保持交、并、蕴涵运算；得到了逻辑理论的发散度、有限理论的相容度在平移变换之下不变的结论。证明了平移变换之集构成一个群；在经典逻辑度量空间中以公式类中公式的真度为范数，进一步证明了[(Fn(S),ρ)]关于该范数可以构成次范整线性空间。