河南成教 / 离散数学
正确率：100%
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)
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)
参考答案：
佳题速递：