选择题：[单选题,6.6分] 下列公式中不属于逻辑有效式的是（ ）。A.x F(x)→x F(x)B.x F

题目内容：
[单选题,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)
参考答案：

[单选题,6.6分] 给定下列各序列： ①（2，2，2，2，2） ②（1，1，2，2，3） ③ (1

[单选题,6.6分] 给定下列各序列： ①（2，2，2，2，2） ②（1，1，2，2，3） ③ (1,1,2,2,2) ④ (0,1,3,3,3) 哪些可以构成

分类：河南理工大学-计算机科学与技术-离散数学  题型：选择题
查看答案