科学技术名词为您提供摹状[词],description,摹状[词]的意思,description的意思,摹状[词]的英文,description的翻译,摹状[词]的翻译,摹状[词]是什么意思,摹状[词]什么意思,description是什么意思,description什么意思
摹状[词] 相关科技名词
- 符号体系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
别人正在查