コトバンクはYahoo!辞書と技術提携しています。

transformation rule transformationrule

世界大百科事典内のtransformation ruleの言及

【公理系】より

…論理式とは,推理に登場する命題あるいは命題間の関係を記号を用いて図式的に表現したものである。つぎに,論理式から他の論理式を得るための変形規則transformation ruleの若干個が与えられる。これは,ユークリッド幾何学の公理系における推理方法に当たるが,われわれの対象としているのは推理方法自体であるため,変形規則とよばれ,代数学における代入操作のような簡単な操作として表現される。…

※「transformation rule」について言及している用語解説の一部を掲載しています。

出典|株式会社日立ソリューションズ・クリエイト
世界大百科事典 第2版について | 情報

transformation ruleの関連キーワード同盟の再定義変換国際法律家委員会ICJ黄金律ノーリターンルール黄金律計器飛行方式相律日高光啓

今日のキーワード

百条委員会

地方自治体が議決により設置する特別委員会の一つ。名称は「地方自治法第100条」に基づく。百条委員会は、地方公共団体の事務に関する調査を行い、関係者への聞き取りや記録の提出を請求、拒否した者には罰則が科...

続きを読む

コトバンク for iPhone