13/12/20 08:59:09.79
例えばΓにaが含まれればΓトaとΓトa/ Γトaxという規則があるとします。
このときaがトに含まれているときΓトa/Γ,bトaを証明しなさいと言う問題があったとするじゃないですか。
するとΓトa/Γトax/Γトaxx/・・・
と永遠に続くだけで証明できませんよね。
むしろΓ,bにaが含まれているから始めの規則によってΓ,bトaが成り立つじゃないですか。
でも/を使わずに導いたのに/をつかってΓトa/Γ,bトaとして良い理由がわかりません。
13/12/20 08:59:09.79
例えばΓにaが含まれればΓトaとΓトa/ Γトaxという規則があるとします。
このときaがトに含まれているときΓトa/Γ,bトaを証明しなさいと言う問題があったとするじゃないですか。
するとΓトa/Γトax/Γトaxx/・・・
と永遠に続くだけで証明できませんよね。
むしろΓ,bにaが含まれているから始めの規則によってΓ,bトaが成り立つじゃないですか。
でも/を使わずに導いたのに/をつかってΓトa/Γ,bトaとして良い理由がわかりません。