英语词汇“Conservative extension”是什么意思，翻译、用法及简单造句-英汉双解词典-英汉网

网站首页英汉词典

　

单词	Conservative extension
释义	Conservative extension 中文百科保守扩展保守扩展是逻辑中的一个概念。一个知识库K'是K的扩展，如果K是K'的一个子集；K'是K的保守扩展，如果对所有只用K中的名字构造的命题 $\alpha$ , K' $\vDash \alpha$ 当且仅当 K $\vDash \alpha$ 。换句话说，保守扩展不会改变原有的知识库的结构。保守扩展在许多领域都有应用，如模块化本体和敏感知识的保护。在逻辑和推导机制中，I和J分别是一个解释(Interpretation),如果J是I的保守扩展，必须满足以下条件: 那幺我们说J是I的保守扩展。英语百科 Conservative extension 保守扩展 In mathematical logic, a conservative extension is a subtheory of a theory which is often convenient for proving theorems, but proves no new theorems about the language of the original theory. More formally stated, a theory $T_2$ is a (proof theoretic) conservative extension of a theory $T_1$ if the language of $T_2$ extends the language of $T_1$ ; that is, every theorem of $T_1$ is a theorem of $T_2$ , and any theorem of $T_2$ in the language of $T_1$ is already a theorem of $T_1$ .
随便看	fundamental stress的意思 Fundamental structure的意思 fundamental structure gauge的意思 fundamental structure node的意思 fundamental subject的意思 fundamental substance的意思 fundamental subvariety的意思 fundamental sum的意思 fundamental summetric polynomial的意思 fundamental supply的意思 fundamental suppression的意思 fundamental surface的意思 fundamental surveillance的意思 fundamental symmetric function的意思 fundamental symmetric polynomial的意思 fundamental symptoms的意思 Fundamental system的意思 fundamental system model的意思 fundamental system of function的意思 fundamental system of functions的意思 fundamental system of neighborhoods的意思 fundamental system of neighborhoods of zero element的意思 fundamental system of solutions的意思 fundamental table的意思 fundamental technical data的意思

　

英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。

　

Copyright © 2004-2024 encnc.com All Rights Reserved
更新时间：2025/6/19 23:36:16