推論の仮想規則
出典: フリー百科事典『ウィキペディア(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 演繹
※この「推論の仮想規則」の解説は、「演繹定理」の解説の一部です。
「推論の仮想規則」を含む「演繹定理」の記事については、「演繹定理」の概要を参照ください。
- 推論の仮想規則のページへのリンク