公共查询科学技术名词模型论

逻辑等值 logically equivalent 逻辑等值的意思 logically equivalent的意思逻辑等值的英文 logically equivalent的翻译

逻辑等值

规范用词逻辑等值

英文对照logically equivalent

中文又称逻辑等价

所属学科数学 > 数理逻辑数学基础 > 模型论

名词审定数学名词审定委员会

见载刊物《数学名词》科学出版社

公布时间1993年

科学技术名词为您提供逻辑等值,logically equivalent,逻辑等值的意思,logically equivalent的意思,逻辑等值的英文,logically equivalent的翻译,逻辑等值的翻译,逻辑等值是什么意思,逻辑等值什么意思,logically equivalent是什么意思,logically equivalent什么意思

逻辑等值相关科技名词

模型论»

可满足性satisfiability
可定义性definability
可表示性representability
膨胀expansion
斯科伦函数Skolem function
斯科伦壳Skolem hull
斯科伦佯谬Skolem paradox
降L-S定理downward Loewenheim-Skolem theorem
内插定理interpolation theorem
量词消去elimination of quantifier
初等等价[的]elementarily equivalent
子结构substructure
子模型submodel
初等子结构elementary substructure
初等子模型elementary submodel
模型链chain of model
型type
型省略定理omitting types theorem
进退构造back and forth construction
不可辨元indiscernible
原子[语]句atomic sentence;primitive sentence
原子公式atomic formula
原子理论atomic theory
原子模型atomic model
素模型prime model
饱和模型saturated model
万有模型universal model
极小模型minimal model
齐次模型homogeneous model
范畴性categoricity
稳定性stability
分叉forking
莫利定理Morley theorem
可靠性soundness
递归结构recursive structure
容许结构admissible structure
形式化算术formalized arithmetic
抽象模型论abstract model theory
非标准分析non-standard analysis
无穷小infinitesimal

逻辑等值 logically equivalent 逻辑等值的意思 logically equivalent的意思 逻辑等值的英文 logically equivalent的翻译

逻辑等值

逻辑等值 logically equivalent 逻辑等值的意思 logically equivalent的意思逻辑等值的英文 logically equivalent的翻译