推论 此條目没有列出任何参考或来源。 (2010年2月23日)維基百科所有的內容都應該可供查證。请协助補充可靠来源以改善这篇条目。无法查证的內容可能會因為異議提出而被移除。 在數學上,推论(corollary, 也稱為系、系理)指能够“简单明了地”从前述命题推出的论断,推论往往在定理后出現。如果命题B能够被简单明了的从命题A推导出,则稱B为A的推论。 推论、定理、命題等术语的使用区别往往是比较主观的,因为“简单明了”的定义本来就与作者及上下文相关。当然,推论一般被认为不如定理重要。 參見[编辑] 逻辑 推理 各種數學敘述 查论编逻辑 概要学术领域 辩论法(英语:Argumentation scheme) 价值论 审辩式思维 可计算性理论 形式语义学 逻辑史 非形式逻辑 计算机逻辑 数理逻辑 数学 元逻辑(英语:Metalogic) 元数学 模型论 哲学逻辑 哲学 逻辑哲学(英语:Philosophy of logic) 数学哲学 证明论 集合论 基础概念 溯因推理 分析真理 二律背反 先验 演绎推理 定义 描述逻辑 归纳推理 推论 推理方式(維基數據所列:Q126723190) 蕴涵 逻辑形式(英语:Logical form) 逻辑真理 名称 充分必要条件 悖论 可能世界 前設 假说 机率 理智 推理 指涉 语义学 命题 严格条件 代换(英语:Substitution (logic)) 语法 真理 真值 有效性 哲学逻辑审辩式思维和非形式逻辑 分析 歧义性 论证 信仰 偏见 公信力 证据 解释 解释力(英语:Explanatory power) 事实 谬论 探究(英语:Inquiry) 意见 奥卡姆剃刀 前提 政治宣传 审慎 推理 关联 修辞学 严谨 含糊 演绎推理 结构主义 双面真理说 虚构主义(英语:Fictionalism) 有限主义 形式主义 直觉主义 逻辑原子论 逻辑主义 唯名论 实用主义 唯实论 柏拉圖實在論 元逻辑(英语:metalogic)和元数学 康托尔定理 可判定性 邱奇-图灵论题 一致性 有效方法(英语:Effective method) 数学基础 哥德尔完备性定理 哥德尔不完备定理 可靠性 完备性 可判定性 解释 勒文海姆–斯科伦定理 元定理 可满足性 独立性 类型-记号区别 使用-提及区别 非传统逻辑模态逻辑 真性逻辑 价值逻辑 道义逻辑 信念逻辑(英语:Doxastic logic) 认识逻辑 时间逻辑 直觉主义 直觉主义逻辑 结构分析 Heyting算术(英语:Heyting arithmetic) 直觉类型论 建構式集合論(英语:Constructive set theory) 模糊逻辑 真实性程度(英语:Degree of truth) 模糊规则 模糊集 模糊有限元素 模糊集合運算(英语:Fuzzy set operations) 亚结构逻辑 结构规则 相干逻辑 线性逻辑 次协调逻辑 双面真理说 描述逻辑 本体论 本体语言 逻辑学家 安德逊 亚里斯多德 鲁世德 西那 贝恩 巴威斯 博内斯 布尔 布勒斯 康托尔 卡尔纳普 邱奇 克吕西波 加里 德摩根 弗雷格 吉奇 根岑 哥德尔 希尔伯特 克莱尼 克里普克 莱布尼兹 勒文海姆 皮亚诺 皮尔士 普特南 奎因 罗素 施罗德 司各脱 斯科伦 史慕扬 塔斯基 图灵 怀特黑德 奥卡姆的威廉 维根斯坦 策梅洛 列表主题 逻辑概要(英语:Outline of logic) 数理逻辑(英语:List of mathematical logic topics) 布尔代数 集合论(英语:List of set theory topics) 其它 逻辑学家 推理规则(英语:List of rules of inference) 悖论 谬论 逻辑符号 常见逻辑符号 & ∨ ¬ ~ → ⊃ ≡ | ∀ ∃ ⊤ ⊥ ⊢ ⊨ ∴ ∵ 参见: 哲学主题分类