在数学逻辑中，如果在某些类型的结构（也称为模型）中具有相同的真值，则公式被认为是绝对的。关于绝对性的定理通常建立公式的绝对性及其句法形式之间的关系。有两种较弱的部分绝对形式。如果结构M的每个子结构N中的公式的真实性来自于M中的真值，公式是向下绝对的。如果一个结构N中的一个公式的真实性意味着每个结构M的延伸N的真值，则该公式是向上绝对的。
欢迎使用翰思网词语词典！我们致力于为您提供最准确的汉语词语解释、成语故事、近义词反义词对比及组词参考。专业团队维护，数据持续扩充，助您畅游中文世界。