设F(x):x是火车,G(x):x是汽车,H(x,y):x比y快。命题“某些汽车比所有火车慢”的符号化公式是
A、$y(G(y)®"x(F(x)ÙH(x,y)));
B、$y(G(y)Ù"x(F(x)®H(x,y)));
C、"x $y(G(y)®(F(x)ÙH(x,y)));
D、$y(G(y)®"x(F(x)®H(x,y)))
发布时间:2025-05-29 15:49:16
A、$y(G(y)®"x(F(x)ÙH(x,y)));
B、$y(G(y)Ù"x(F(x)®H(x,y)));
C、"x $y(G(y)®(F(x)ÙH(x,y)));
D、$y(G(y)®"x(F(x)®H(x,y)))