术语 · Terminology

术语翻译表

每个英文术语下可以有几个数学义项。本站译名都有外文出处或参考链接，采用中文教材的通行写法；觉得译名不妥可以在义项页建议改译，缺少的出处可以在左侧「资料补充」里筛出来补充。

全部术语

分类按义项归入，词形出现在它各义项所属的分类下，查看分类说明

共 1359 个术语

术语

中文译名

1201 intuitionistic sequent 直觉主义相继式 1

1202 linear logic 线性逻辑 1

1203 logical connective 逻辑连接词 1

1204 logical harmony 逻辑和谐 1

1205 method of affirmation 肯定前件 1

1206 natural deduction 自然演绎 1

1207 negation 非 1

1208 normal form 范式 1

1209 order logic 顺序逻辑 1

1210 parametricity 参数性 1

1211 predicate 谓词 1

1212 predicate logic 谓词逻辑 1

1213 principle of explosion 爆炸律 1

1214 propositional logic 命题逻辑 1

1215 quantifier 量词 1

1216 realizability 具现 1

1217 rewriting 重写 1

1218 semi-axiomatic sequent calculus 半公理化相继式演算 1

1219 sequent 相继式 1

1220 sequent calculus 相继式演算 1

1221 snip rule 剪规则 1

1222 structural logic 结构逻辑 1

1223 structural rule 结构性规则 1

1224 subformula 子公式 1

1225 substructural logic 亚结构逻辑 1

1226 succedent 后件 1

1227 term 项 1

1228 true 真 1

1229 truth value 真值 1

1230 weakening rule 弱化规则 1