文件名称：经典逻辑度量空间中的边角关系 (2011年)
文件大小：345KB
文件格式：PDF
更新时间：2024-06-04 10:53:47
自然科学 论文
目的 研究逻辑度量空间的内蕴结构，讨论其中三角形的结构及相关性质。方法 利用计量逻辑学理论中建立的距离函数进行计算。结果 首先证明了在经典逻辑度量空间([F(S)]，p)中存在等边多边形，直角三角形等特殊图形。其次证明了不存在边长大于或等于2/3的等边三角形，但存在边长可任意接近2/3的等边三角形。同时证明了Lindenbaum代数上的反射变换ω*和平移变换ηG保持等边三角形、直角三角形的边角关系不变。最后证明了在经典逻辑度量空间中三逻辑公式构成的三角形中，内角的余弦在[0，1]中稠密，即，它们的内角在[