List of rules of inference

推理（inference）是「使用理智從某些前提（已知）導出結論」的思維過程。 以下三種推理是屬於哲學、邏輯、心理學和人工智能等學門所感興趣的領域。 邏輯推理有三種主要的方式： 演繹推理（deductive reasoning），给出正確的前提，就必然推出結論（结论不能为假，悖論除外）。演繹推理無

{\displaystyle p\to Provable(p)} 将意味着所有真的陈述都是可证明的（通常不是个合理的主张）。 在证明论中，推理规则在逻辑演算比如相继式演算和自然演绎的规定中扮演了关键角色。 命题演算 自然演绎 推理规则列表（英语：List of rules of inference）

，1994）Abductive Inference: Computation, Philosophy, Technology, Cambridge University Press. John Josephson's page on abduction Is there a Logic of Exploratory

证明论语义 J. Avigad, E.H. Reck, 2001 .“Clarifying the nature of the infinite”: the development of metamathematics and proof theory（页面存档备份，存于互联网档案馆）. Carnegie-Mellon

參考在人類活動與知識的不同領域中扮演著許多角色，因此該詞語本身會取決於使用場合的不同而存在各種特殊涵義。 Treanor, Brian, Aspects of alterity: Levinas, Marcel, and the contemporary debate, Fordham University