A、
B、
C、
D、
【正确答案】：C
【题目解析】：A、B、D为量词辖域收缩与扩张等值式，C的正确形式应该为∀x(A(x)→B)⇔∃xA(x)→B。
下列一阶逻辑等效变换不正确的是
- 2024-08-03 22:51:05
- 离散数学(02324)
下列一阶逻辑等效变换不正确的是
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。