题目类型：
单选题
题目内容
下列一阶逻辑等效变换不正确的是
题目选项
A.
B.
C.
D.
正确答案
C
题目解析
A、B、D为量词辖域收缩与扩张等值式，C的正确形式应该为∀x(A(x)→B)⇔∃xA(x)→B。