数理逻辑
规范用词数理逻辑
英文对照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
别人正在查