有命题如下：任意实数x 总存在实数y 使得y<x成立。设： F（x)：x是实数 G（x y)：x < y 在谓词逻

大学网课 2022-09-11 00:09:51 已帮助人

有命题如下：任意实数x，总存在实数y，使得y<x成立。设： F（x)：x是实数 G（x, y)：x < y 在谓词逻辑范围内对该命题正确的符号化表示是？

A．"x"y(F(x) ÙF(y) ®G(y,x))

B．"x$y(F(x) ÙF(y) ®G(y,x))

C．"x (F(x) Ù$y(F(y) ®G(y,x)))

D．"x$y (F(x) ® (F(y) ÙG(y,x)))

有命题如下：任意实数x 总存在实数y 使得y<x成立。设： F（x)：x是实数 G（x y)：x < y 在谓词逻

共1条回复

有命题如下：任意实数x 总存在实数y 使得y&lt;x成立。设： F（x)：x是实数 G（x y)：x &lt; y 在谓词逻