13/12/21 18:51:26.98
定義がわからないのでまったくの想像ですが、もしかして
証明しなさい、と言われていることは
「Γ|-a から Γ,b |-a を規則で導け」
ではなくて
「Γ|-a が成り立つならば Γ,b |-a も成り立つことを示せ」
なのでしょうか？？
いずれにしても、問題を出した >>401 さんがちゃんと定義を書いてくれないと
誰も正確には答えられないと思います。
13/12/21 18:51:26.98
定義がわからないのでまったくの想像ですが、もしかして
証明しなさい、と言われていることは
「Γ|-a から Γ,b |-a を規則で導け」
ではなくて
「Γ|-a が成り立つならば Γ,b |-a も成り立つことを示せ」
なのでしょうか？？
いずれにしても、問題を出した >>401 さんがちゃんと定義を書いてくれないと
誰も正確には答えられないと思います。