术语 · Terminology

术语翻译表

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

全部术语

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

共 2607 个术语

术语

中文译名

2431 consistency 一致性 1

2432 contraction rule 收缩规则 1

2433 cut elimination 切消除 1

2434 cut rule 切规则 1

2435 derivable rule 可导出规则 1

2436 disjunction 或 1

2437 elimination rule 消去规则 1

2438 exchange rule 交换规则 1

2439 external choice 外选择 1

2440 false 假 1

2441 formation rule 形成规则 1

2442 formula 公式 1

2443 Gentzen’s Hauptsatz Gentzen 主要定理 1

2444 Gödel’s incompleteness theorems Gödel 不完备性定理 1

2445 identity rule 恒同规则 1

2446 implication 蕴涵 1

2447 inference rule 推导规则 1

2448 intuitionistic sequent 直觉主义相继式 1

2449 linear logic 线性逻辑 1

2450 logical connective 逻辑连接词 1

2451 logical harmony 逻辑和谐 1

2452 method of affirmation 肯定前件 1

2453 natural deduction 自然演绎 1

2454 negation 非 1

2455 normal form 范式 1

2456 order logic 顺序逻辑 1

2457 parametricity 参数性 1

2458 predicate 谓词 1

2459 predicate logic 谓词逻辑 1

2460 principle of explosion 爆炸律 1