形式逻辑术语拾遗

命题 Proposition
具有真假意义的陈述语句

演绎推理 Deductive Inference
由一般到特殊

归纳推理 Inductive Inference
由特殊到一般

证明 Proof

推理的全过程

公理 Axiom & 公设 Postulation
不证自明,无法推导,推导的起点

公理系统 Axiomatic System
由若干个公理演绎推理形成的自洽的命题体系(公理化)

定理 Theorem & 推论 Corollary
由公理及其他已知为真的命题经逻辑推理证明为真的重要命题

引理 Lemma
中间命题

定律 Law & 原理 Principle & 规则 Rule
观察总结出来的客观规律,由长期实践的事实所证明,在人类的认知范围内普遍使用

猜想 Conjecture & 假说 Hypothesis
可能为真但未被证明的命题(当被证明后即为定理)

悖论 Paradox
命题成立则推出否定也成立

诡辩 Sophistry
循环论证,机械类比,以偏概全,偷换概念,偷换论题,模棱两可。

Origin via LePtC @ guokr.com

留下评论