下面给出的一阶逻辑等价式中,( )是错的。
A、"x(A(x)ÚB(x))="xA(x)Ú"xB(x);
B、A®"xB(x)="x(A®B(x));
C、$x(A(x)ÚB(x))=$xA(x)Ú$xB(x);
D、Ø"xA(x)=$xØA(x)
发布时间:2025-07-23 02:27:32
A、"x(A(x)ÚB(x))="xA(x)Ú"xB(x);
B、A®"xB(x)="x(A®B(x));
C、$x(A(x)ÚB(x))=$xA(x)Ú$xB(x);
D、Ø"xA(x)=$xØA(x)