コンピューター用語辞典

日外アソシエーツ株式会社

rule of inference

推論規則

ある理論を論理に基いて形式化する際に与える規則で,幾つかの論理式から他の論理式を導くための規則をいう.

用例
調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶

日英・英日専門用語辞書

日中韓辭典研究所

rule of inference

推論規則，推理規則，推論則

Weblio英和対訳辞書

英和辞典・和英辞典 - Weblio辞書

Rule of inference

推論規則
推論規則（すいろんきそく、英: rule of inference, inference rule, transformation rule）とは、論理式から他の論理式を導く推論の規則である。
Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

ウィキペディア英語版

出典：Wikipedia

Rule of inference

出典:『Wikipedia』 (2011/05/21 23:46 UTC 版)

英語による解説

ウィキペディア英語版からの引用
引用

In logic, a transformation rule or rule of inference is a syntactic rule or function which takes premises and returns a conclusion (or in multiple-conclusion logic, conclusions). For example, the rule of inference modus ponens takes two premises, one of the form "If p then q" and another of the form p and returns the conclusion q. The rule is sound with respect to the semantics of classical logic (as well as the semantics of many other non-classical logics), in the sense that if the premises are true (under an interpretation) then so is the conclusion.

Rule of inferenceのページの著作権