量词消去 elimination of quantifier 量词消去的意思 elimination of quantifier的意思量词消去的英文

量词消去

规范用词量词消去

英文对照elimination of quantifier

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

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

公布时间1993年

科学技术名词为您提供量词消去,elimination of quantifier,量词消去的意思,elimination of quantifier的意思,量词消去的英文,elimination of quantifier的翻译,量词消去的翻译,量词消去是什么意思,量词消去什么意思,elimination of quantifier是什么意思,elimination of quantifier什么意思

量词消去相关科技名词

模型论»

符号体系symbolism
数理逻辑mathematical logic
模型论model theory
逻辑演算logical calculus
逻辑符号logical symbol
形式语言formal language
符号语言symbolic language
形成规则formation rule
出现occurrence
合式[的]well-formed
合式公式well-formed formula
辖域scope
逻辑运算logical operation
矢列式sequent
语法syntax
语义semantics
解释interpretation
论题thesis
归纳证明proof by induction
摹状[词]description
摹状算子description operator
命题演算propositional calculus
命题代数algebra of propositions
命题变元propositional variable;sentential variable
命题函数propositional function
联结词connective
逻辑乘法logical multiplication
合取[词]conjunction
合取项conjunct
逻辑加法logical addition
析取[词]disjunction
析取项disjunct
互斥析取exclusive disjunction
否定[词]negation
逻辑等值logically equivalent
范式normal form
合取范式conjunctive normal form
析取范式disjunctive normal form
排中律law of excluded middle
赋值valuation

量词消去 elimination of quantifier 量词消去的意思 elimination of quantifier的意思 量词消去的英文

量词消去

量词消去 elimination of quantifier 量词消去的意思 elimination of quantifier的意思量词消去的英文