演繹で

¬∀ｘｆ（ｘ）　　　∀ｘｆ（ｘ）
_______________________________

　　　　⊥（矛盾）

と


∀ｘ¬ｆ（ｘ）　　　∀ｘｆ（ｘ）
_______________________________

　　　　⊥（矛盾）

ってどっちが正しいんですか？
定義からすると前者が正しい思うのですが、
後者もどこが間違いかと言われると、どうもこんがらがってしまいます。