2024年5月5日发(作者：无线网接收器)
几个逻辑相关的英语单词
逻辑 logic
数理逻辑 mathematical logic
模型论 model theory
集合论 set theory
递归论 recursion theory
证明论 proof theory
非标准分析 nonstandard analysis
反推数学 reverse mathematics
元数学 metamathematics
二阶算术的子系统 subsystems of the second-order arithmetic
直觉主义 intuitionism
构造性数学 constructive mathematics
语言 language
元语言 metalanguage
元定理 metatheorem
公理 axiom
定理 theorem
命题 proposition
命题演算 propositional calculus
谓词演算 predicate calculus
合取 conjunction
析取 disjunction
非,否定 negation
量词 quantifier
全称量词 universal quantifier
存在量词 existential quantifier
关系 relation
函数 function
常量 constant
发布者：admin，转转请注明出处：http://www.yc00.com/xitong/1714869861a2530377.html
评论列表（0条）