绝对性

音义

广训

在数学逻辑中，如果在某些类型的结构（也称为模型）中具有相同的真值，则公式被认为是绝对的。关于绝对性的定理通常建立公式的绝对性及其句法形式之间的关系。有两种较弱的部分绝对形式。如果结构M的每个子结构N中的公式的真实性来自于M中的真值，公式是向下绝对的。如果一个结构N中的一个公式的真实性意味着每个结构M的延伸N的真值，则该公式是向上绝对的。

组词

绝 对 性

相关

• 中牌子
• 冯启光
• 军用仓库
• 即心即佛
• 含恨
• 周传奇
• 哭泣与耳语
• 塔希提岛
• 天琴座
• 寺请证文
• 富贵居
• 张亚山
• 张弓镇
• 控制中场
• 无限之住人
• 李日湘
• 杜兆植
• 极地植物群落
• 次渠饭店
• 河伯
• 水繁缕叶龙胆
• 沙龙
• 滑模施工
• 煤油灯
• 玉夫星系
• 王旦
• 结晶度
• 草栖毛丛蛛
• 调配罐
• 货运车辆
• 都市躲艳记
• 野营
• 陈少梅
• 驳瑕指颣
• 骨内膜炎
• 魏秀英
• 黑广肩步行虫
• 杭州南玉山庄
• 昆山金昆宾馆
• 博兴县环保局
• 陕西省公安厅
• 素人打击王
• 猛火猴
• 久保由利香
• 串烧排骨
• 火腿鱼片夹
• 当归羊肉火锅
• 红斑锤尾凤蝶
• 红花鸡蛋花
• 武当百谜