[单选题]下列谓词恒等式,不正确的是

A
B
C
D
正确答案:C
题目解析

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

扫描二维码
免费搜题、免费刷题、免费查看解析