タブローで確認したところ
∀xFx→∀xGxの対偶は

(∀x)¬Gx→(∀x)¬Fx

であることがわかった
今まで存在命題で書いていたことを訂正し
ごめんなさい

∀x(Gx∧¬Fx)と∀x(Fx∧¬Gx)が∀xFx→∀xGxと同値ではないという
結果が出てしまったことについてはもう一度考えてみる