数理逻辑
规范用词数理逻辑
英文对照mathematical logic
中文又称符号逻辑(symbolic logic)
名词审定数学名词审定委员会
见载刊物《数学名词》 科学出版社
公布时间1993年
科学技术名词为您提供数理逻辑,mathematical logic,数理逻辑的意思,mathematical logic的意思,数理逻辑的英文,mathematical logic的翻译,数理逻辑的翻译,数理逻辑是什么意思,数理逻辑什么意思,mathematical logic是什么意思,mathematical logic什么意思
数理逻辑 相关科技名词
- 真假值truth value
- 真值truth
- 假值falsity
- 真假值函数truth function
- 真假值表truth table
- 重言式tautology
- 一阶逻辑first-order logic
- 谓词predicate
- 谓词演算predicate calculus;functional calculus
- 谓词变元predicate variable
- 函数符号function symbol
- 常项constant
- 自由变元free variable
- 个体变元individual variable
- 量词quantifier
- 存在量词existential quantifier
- 全称量词universal quantifier
- 非标准量词non-standard quantifier
- 约束变量bound variable
- 约束出现bound occurrence
- 受囿量词bounded quantifier
- 前束词prefix
- 前束范式prenex normal form
- 语句sentence
- 逻辑表达式logical expression
- 闭公式closed formula
- 替换replacement
- 代入substitution
- 理论theory
- 全域universe
- 高阶逻辑high order logic
- 多种类谓词演算many sorted predicate calculus
- 无穷逻辑infinitary logic
- 一阶理论first-order theory
- 结构structure
- 模型model
- 非标准模型non-standard model
- 相容性consistency
- 完全性completeness
- 模型完全性model completeness
别人正在查