推理規則英文解釋翻譯、推理規則的近義詞、反義詞、例句

英語翻譯：

【計】 inference rule

inference; logic; ratiocination; reasoning
【化】 reasoning

regulation; rule; formulae; order; rope
【計】 rule
【化】 regulation; rule
【醫】 regulation; rule
【經】 propriety; regulations; rule

在漢英詞典學視角下，“推理規則”（Reasoning Rules）指邏輯系統中用于從已知前提推導出新結論的形式化規範。其核心是建立前提與結論間的有效蘊涵關系，确保思維過程的合法性與可靠性。以下是基于權威來源的詳細解釋：

英語對應術語
Reasoning Rules 或Rules of Inference，定義為：

A form of argument that is valid (truth-preserving) for every interpretation of its components.
來源：Oxford English Dictionary (OED) 鍊接

在數理邏輯中，推理規則是形式系統的基石，例如：

來源：中國大百科全書出版社《邏輯學卷》；Stanford Encyclopedia of Philosophy 鍊接

比較來源：《新時代漢英大詞典》（商務印書館）；Merriam-Webster's Collegiate Dictionary 鍊接

來源：《邏輯學導論》（陳波著，中國人民大學出版社）；Internet Encyclopedia of Philosophy 鍊接

推理規則在人工智能（如專家系統）、法律論證、科學方法論中具實踐意義，其跨語言定義的一緻性體現了邏輯的普遍性。漢英詞典需兼顧術語精确性與文化可理解性，例如中文用“蘊涵”翻譯“entailment”，而英文直接采用形式符號“$vdash$”。

推理規則是邏輯學中用于從已知前提推導出結論的基本法則，是構建有效論證的核心工具。以下是常見推理規則的解釋及示例：

假言推理（Modus Ponens）形式：若命題A→B為真且A為真，則B必為真。公式： $$ frac{A rightarrow B quad A}{B} $$ 示例：若"下雨則地濕"且"正在下雨"，可推出"地濕"。
拒取式（Modus Tollens）形式：若A→B為真且¬B為真，則¬A必為真。公式： $$ frac{A rightarrow B quad eg B}{ eg A} $$ 示例：若"充電則燈亮"且"燈未亮"，可推出"未充電"。
假言三段論形式：若A→B和B→C同時成立，則A→C成立。公式： $$ frac{A rightarrow B quad B rightarrow C}{A rightarrow C} $$ 示例：從"努力學習→成績好"和"成績好→被錄取"，可推出"努力學習→被錄取"。
析取三段論形式：若A∨B為真且¬A為真，則B必為真。公式： $$ frac{A lor B quad eg A}{B} $$ 示例：已知"今天晴天或雨天"且"非晴天"，可推出"今天雨天"。
構造性二難推理形式：若A→C且B→D，且A∨B成立，則C∨D成立。公式： $$ frac{A rightarrow C quad B rightarrow D quad A lor B}{C lor D} $$ 示例：若"參戰則損失兵力"且"不參戰則失去盟友"，且"必須參戰或不參戰"，則必導緻"損失兵力或失去盟友"。

這些規則構成形式邏輯的基礎，在數學證明、法律論證、計算機算法（如自動推理系統）中廣泛應用。使用時需注意：①嚴格遵循形式結構 ②前提必須為真 ③避免混淆充分條件與必要條件。