绝对性
(数学术语)
绝对性,在数学逻辑中,如果在某些类型的结构(也称为模型)中具有相同的真值,则公式被认为是绝对的。关于绝对性的定理通常建立公式的绝对性及其句法形式之间的关系。有两种较弱的部分绝对形式。如果结构M的每个子结构N中的公式的真实性来自于M中的真值,公式是向下绝对的。如果一个结构N中的一个公式的真实性意味着每个结构M的延伸N的真值,则该公式是向上绝对的。在数学逻辑中,如果在某些类型的结构(也称为模型)中具有相同的真值,则公式被认为是绝对的。关于绝对性的定理通常建立公式的绝对性及其句法形式之间的关系。
知识树
时光轴
论点集
总题库
阅读模式
知识树 创建页面
知识树 创建说明
领域
提 交
数学
词条相关
词条 主页
》
词条 科普
》
词条 事件
》
词条 题库
》
词条 知识
》
加载更多
加载更多
加载更多
加载更多