命题代数 algebra of propositions 命题代数的意思 algebra of propositions的意思命题代数的英文

命题代数

规范用词命题代数

英文对照algebra of propositions

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

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

公布时间1993年

科学技术名词为您提供命题代数,algebra of propositions,命题代数的意思,algebra of propositions的意思,命题代数的英文,algebra of propositions的翻译,命题代数的翻译,命题代数是什么意思,命题代数什么意思,algebra of propositions是什么意思,algebra of propositions什么意思

命题代数相关科技名词

模型论»

可满足性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

命题代数 algebra of propositions 命题代数的意思 algebra of propositions的意思 命题代数的英文

命题代数

命题代数 algebra of propositions 命题代数的意思 algebra of propositions的意思命题代数的英文