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

数理逻辑 mathematical logic 数理逻辑的意思 mathematical logic的意思数理逻辑的英文 mathematical logic的翻译

数理逻辑

规范用词数理逻辑

英文对照mathematical logic

中文又称符号逻辑(symbolic logic）

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

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

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

公布时间1993年

科学技术名词为您提供数理逻辑,mathematical logic,数理逻辑的意思,mathematical logic的意思,数理逻辑的英文,mathematical logic的翻译,数理逻辑的翻译,数理逻辑是什么意思,数理逻辑什么意思,mathematical logic是什么意思,mathematical logic什么意思

数理逻辑相关科技名词

模型论»

符号体系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

数理逻辑 mathematical logic 数理逻辑的意思 mathematical logic的意思 数理逻辑的英文 mathematical logic的翻译

数理逻辑

数理逻辑 mathematical logic 数理逻辑的意思 mathematical logic的意思数理逻辑的英文 mathematical logic的翻译