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

命题演算 propositional calculus 命题演算的意思 propositional calculus的意思命题演算的英文

命题演算

规范用词命题演算

英文对照propositional calculus

中文又称命题逻辑(propositional logic）

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

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

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

公布时间1993年

科学技术名词为您提供命题演算,propositional calculus,命题演算的意思,propositional calculus的意思,命题演算的英文,propositional calculus的翻译,命题演算的翻译,命题演算是什么意思,命题演算什么意思,propositional calculus是什么意思,propositional calculus什么意思

命题演算相关科技名词

模型论»

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

命题演算 propositional calculus 命题演算的意思 propositional calculus的意思 命题演算的英文

命题演算

命题演算 propositional calculus 命题演算的意思 propositional calculus的意思命题演算的英文