>>940
>>937

それじゃあこの場合も
それぞれ(2)が間違いってことでよろしいか？

(1)　¬(∃x∀yPxy→∀y∃xPxy)
(2)　(∃x)(∀y)Pxy　　　(1)

(1)　¬(∀y∃xPxy→∃x∀yPxy)
(2)　(∀y)(∃x)Pxy　　　　(1)

これがもし間違いだと言うのならタブローは間違いだなｗ