arXiv:2504.08923v1 跨领域公告类型 摘要：我们考虑域为有限集 $[n] := \{1, \ldots, n\}$ 的连续关系结构以及在单位区间取值的多值逻辑 $CLA$，该逻辑使用连续联结词和连续聚合函数。$CLA$ 包含在“传统”有限结构上的一阶逻辑。对于每个关系符号 $R$ 和符合 $R$ 的元数的元组身份约束 $ic$，我们关联一个连续概率密度函数 $\mu_R^{ic} : [0, 1] \to [0, \infty)$。 我们还考虑在具有域 $[n]$ 的连续结构集合 $\mathbf{W}_n$ 上的概率分布，使得对于每个关系符号 $R$、身份约束 $ic$ 和满足 $ic$ 的元组 $\bar{a}$，$R(\bar{a})$ 的分布由 $\mu_R^{ic}$ 给出，且与其他关系符号或元组的值无关。 在上述设置中，我们证明了 $CLA$ 中的每个公式在渐近意义上等价于不含任何聚合函数的公式。这一结果用于证明 $CLA$ 的收敛定律，对于不含自由变量的公式而言，如果 $\varphi \in CLA$ 且不含自由变量，$I \subseteq [0, 1]$ 是一个区间，那么存在 $\alpha \in [0, 1]$，当 $n$ 趋于无穷时，$\varphi$ 的值落在 $I$ 内的概率趋于 $\alpha$。