A、
B、
C、
D、
【正确答案】：C
【题目解析】：A、B、D为量词辖域收缩与扩张等值式，C的正确形式应该为∀x(A(x)→B)⇔∃xA(x)→B。
下列一阶逻辑等效变换不正确的是
下列一阶逻辑等效变换不正确的是
A、
B、
C、
D、
【正确答案】：C
【题目解析】：A、B、D为量词辖域收缩与扩张等值式，C的正确形式应该为∀x(A(x)→B)⇔∃xA(x)→B。
A、
B、
C、
D、
【正确答案】：C
【题目解析】：A、B、D为量词辖域收缩与扩张等值式，C的正确形式应该为∀x(A(x)→B)⇔∃xA(x)→B。
📱 扫码体验刷题小程序
扫一扫使用我们的微信小程序