推論の仮想規則とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 推論の仮想規則の意味・解説 

推論の仮想規則

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/10/07 10:04 UTC 版)

演繹定理」の記事における「推論の仮想規則」の解説

上記例では、3種類の仮想的(あるいは補助的かつ一時的推論規則通常の公理的論理追加されている。それは、「仮説」、「反復」、「演繹」である。通常の推論規則(すなわち、「モーダスポネンス」などの各種公理)も有効である。 1. 仮説とは、既にある前提追加前提加えることである。したがって、前のステップ S が次のように演繹されたとするE 1 , E 2 , . . . , E n − 1 , E n ⊢ S {\displaystyle E_{1},E_{2},...,E_{n-1},E_{n}\vdash S} そして、ここに新たな前提 H を加えると次のうになるE 1 , E 2 , . . . , E n − 1 , E n , H ⊢ H {\displaystyle E_{1},E_{2},...,E_{n-1},E_{n},H\vdash H} これを記号的に表すと、n番目のインデントからn+1番目のインデントになり、次のように表される。 S 前のステップH 仮説 2. 反復とは、既出ステップ再利用することである。これは、直前仮説でない既出仮説改め示し、それを演繹前ステップとして使う場合のみ必要となる。 3. 演繹とは、直前仮説取り去りそれ以前ステップに前置することである。このとき、インデント一段戻される。 H 仮説 ......... (他のステップ) C (H から導きだされた結論) H→C 演繹

※この「推論の仮想規則」の解説は、「演繹定理」の解説の一部です。
「推論の仮想規則」を含む「演繹定理」の記事については、「演繹定理」の概要を参照ください。

ウィキペディア小見出し辞書の「推論の仮想規則」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「推論の仮想規則」の関連用語

推論の仮想規則のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



推論の仮想規則のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの演繹定理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS