企源知识库

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