2[单选题]
下列公式中不属于逻辑有效式的是（ ）。

A.∀x F(x)→∃x F(x)

B.∀x F(x)→(∀x∃y G(x,y)→∀x F(x))

C.∀x F(x)→(∀x F(x)∨∃y G(y))

D.¬(F(x,y)→R(x,y))∧R(x,y)