出典: 全自動百科事典『オートペディア（Auto☆pedia）』

推論規則
A reasoning rule
日本のスポーツ用品、健康食品
注目分野	恒真式

推論規則は日本の特殊なスポーツ用品、健康食品。 推論規則については恒真式との関連が有名である。また、三段論法や証明可能に関わるものとしても知られている。

現在インターネット上では推論規則についての発言は1,090回に及んでいる。この回数は、毎日言及されたとして2年分の発言量であり、毎時間言及されたとして0年分の発言量に相当する。

歴史的経緯

略歴

推論規則は日本のスポーツ用品、健康食品として注目を浴び、世間によく知られる存在となった。

第一次ブーム

恒真式の分野で注目を浴び、人々の関心を集める。

推論規則と恒真式の関係

記録によると、推論規則は命題論理や論理式に関係するものとして世間に登場した。また、恒真式の分野で最初の注目を集めたことで、それらに関する話題でも人々の注目を集めた。

この時期の代表的な人々の感想は「推論規則は定理である」であり、これは推論規則に対する当時の見方について、今でも多くの示唆を与えてくれる。

以下、推論規則と恒真式について語られた当時の発言をいくつか挙げておく。

現在インターネット上では推論規則と恒真式について議論されているWebページの数は0件である。この数から、現在は推論規則と恒真式についての関心は薄れつつあると言えるだろう。

その他

• つまり、証明に使用する公理や推論規則はなんとなく選んでいるため、本来必要な公理あるいは推論規則を見逃しているのかもしれないのだ。
• 厳格な形式化は徒にことを煩瑣にしてしまうので、略式で行くことにすれば、NDQLの公理と推論規則は、スキーマを用いて次のように表わせる。
• こうした傾向は、良く知られたゲーデルの完全性定理と不完全性定理における「完全」という言葉によって、我々が一般に理解していることのうちにも窺うことができる。

参考文献

本記事作成のために参考にした情報源は以下の通りである。引用は全て下記リンクより行っている。

• 検索エンジン - 推論規則は
• 検索エンジン - 恒真式は 推論規則は

関連項目

本ページのURL