模型论科技名词
模型论科技名词：第1页
符号体系
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
第1页
下一页
模型论 的上级学科
数学
数理逻辑数学基础