下列谓词恒等式，不正确的是

下列谓词恒等式，不正确的是
A、
B、
C、
D、
【正确答案】：C
【题目解析】：

本题主要考察一阶逻辑等值式与置换规则等内容，选项C为量词辖域收缩与扩张等值式的应用，正确的应该为。