12/01/07 09:48:30.24
>>143
すみません、「A→BからA→∀ｘ」の間違いでした。
>>144
>T|-AならT|-￢∀ｘA→A
この部分と
>よってT|-∀ｘA
この部分がよく分かりません。もしよろしければ詳しく教えて下さいませんか？
12/01/07 09:48:30.24
>>143
すみません、「A→BからA→∀ｘ」の間違いでした。
>>144
>T|-AならT|-￢∀ｘA→A
この部分と
>よってT|-∀ｘA
この部分がよく分かりません。もしよろしければ詳しく教えて下さいませんか？