摘要：将次范整线性空间理论用于研究经典逻辑度量空间（[F（S）],ρ）.构造出了（[F（S）],ρ）中的一类等距变换,证明了这类等距变换之集构成一个群;进而证明了经典逻辑度量空间（[F（S）],ρ）相对于此结构构成带有模2加法性质的次范整线性空间,且此空间同构于有限域F（2）上的线性赋范空间;建立了范数与逻辑公式的真度以及范数与逻辑度量空间中的度量ρ之间的关系.

关键词：逻辑度量空间 平移群 次范整线性空间 真度 

单位：陕西师范大学数学研究所; 陕西西安710062; 安康学院数数学系; 陕西安康725000