A、
B、
C、
D、
【正确答案】：C
【题目解析】：
本题主要考察一阶逻辑等值式与置换规则等内容，选项C为量词辖域收缩与扩张等值式的应用，正确的应该为
。
下列谓词恒等式，不正确的是
下列谓词恒等式，不正确的是
A、
B、
C、
D、
【正确答案】：C
【题目解析】：
A、
B、
C、
D、
【正确答案】：C
【题目解析】：
📱 扫码体验刷题小程序
扫一扫使用我们的微信小程序