12/01/07 09:05:13.62
>>137
全称化は向きが逆だろ。
「A→BからA→∀ｘBが出る（ただしｘはAに自由に現れない）」
T|-AならT|-￢∀ｘA→A
全称化よりT|-￢∀ｘA→∀ｘA
よってT|-∀ｘA
12/01/07 09:05:13.62
>>137
全称化は向きが逆だろ。
「A→BからA→∀ｘBが出る（ただしｘはAに自由に現れない）」
T|-AならT|-￢∀ｘA→A
全称化よりT|-￢∀ｘA→∀ｘA
よってT|-∀ｘA
12/01/07 09:05:13.62
>>137
全称化は向きが逆だろ。
「A→BからA→∀ｘBが出る（ただしｘはAに自由に現れない）」
T|-AならT|-￢∀ｘA→A
全称化よりT|-￢∀ｘA→∀ｘA
よってT|-∀ｘA