数理逻辑数学基础科技名词
数理逻辑数学基础科技名词：第2页
析取[词]
disjunction
析取项
disjunct
互斥析取
exclusive disjunction
否定[词]
negation
逻辑等值
logically equivalent
范式
normal form
合取范式
conjunctive normal form
析取范式
disjunctive normal form
排中律
law of excluded middle
赋值
valuation
真假值
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
首页
上一页
第2页
下一页
数理逻辑数学基础 的上级学科
数学
数理逻辑数学基础 的下级学科
模型论
证明论
集合论
递归论
数学基础
非经典逻辑