11/01/30 21:24:01
>>227 にはわざわざ「A の依存する仮定」と書いてあるのだから、
証明のツリーを１つ定めた上で、仮定の集合の元のうち、一般化規則の上式A が依存するものだけを問題にしていると思われ。
実際そう考えると、与えられたツリーを書きかえることで無条件に演繹定理は成り立つ。
ヒント：「Г, A ├ B」のツリーにおいて一般化規則を適用する際、
上式がAに依存する場合としない場合にわける。
依存する場合は「Aが閉論理式」と仮定したときと同様、
しない場合はツリーの上式から上の部分をそのまま利用して書きかえ。