数学数理逻辑数学基础模型论
排中律 law of excluded middle 排中律的意思 law of excluded middle的意思 排中律的英文 law of excluded middle的翻译
科学技术名词为您提供排中律,law of excluded middle,排中律的意思,law of excluded middle的意思,排中律的英文,law of excluded middle的翻译,排中律的翻译,排中律是什么意思,排中律什么意思,law of excluded middle是什么意思,law of excluded middle什么意思
排中律 相关科技名词
- 符号体系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
别人正在查