12/01/08 18:21:24.54
>>145
>>T|-AならT|-￢∀ｘA→A
>この部分と
T|-AならT∪{￢∀ｘA}|-Aで、演繹定理より。
>>よってT|-∀ｘA
>この部分がよく分かりません。もしよろしければ詳しく教えて下さいませんか？
排中律より∀ｘA∨￢∀ｘAだが、￢∀ｘAから∀ｘAがでるので、
どちらにしても∀ｘA。
12/01/08 18:21:24.54
>>145
>>T|-AならT|-￢∀ｘA→A
>この部分と
T|-AならT∪{￢∀ｘA}|-Aで、演繹定理より。
>>よってT|-∀ｘA
>この部分がよく分かりません。もしよろしければ詳しく教えて下さいませんか？
排中律より∀ｘA∨￢∀ｘAだが、￢∀ｘAから∀ｘAがでるので、
どちらにしても∀ｘA。