[单选题,6.6分] 下列公式中不属于逻辑有效式的是（ ）。
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)