a) 对于每一个实数x,存在一个更大的实数y。R(x):x是实数。G(x,y):x大于y。 b) 存在实数x,y和z,使得x与y之和大于x与z之积。R(x):x是实数，G(x,y):x大于y，
举一反三
- 有命题如下:任意实数x,总存在实数y,使得y[x成立。设:<br]F(x):x是实数[br][/br]G(x, y):x [ y<br]对该命题正确符号化的是 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)))
- 中国大学MOOC: 有命题如下：任意实数x，总存在实数y，使得y<x成立。设：F(x)：x是实数G(x, y)：x < y在谓词逻辑范围内对该命题正确的符号化表示是？
- 设X、Y、Z是实数集R的子集，且X={x|-2<x<5}，Y={x|x+1>4}，Z={x|x2-3x>0}，则(X-Y)∩Z=
- 设R、Z、N分别为实数集、整数集，自然数集，则下列关系中不能构成函数的是？ A: {|x,y ÎN, x,y>10} B: {|x,yÎR,y=x2} C: {|x,yÎR,y2=x} D: {|x,yÎZ,x=ymod3}
- 如果x+y=0，那么y是x的加法逆元。假设你要证明“所有实数都有加法逆元”，变量上的量词应该是什么？ A: ∀x∀y，其中x、y的论域是全体实数 B: ∃x∀y，其中x、y的论域是全体实数 C: ∀x∃y，其中x、y的论域是全体实数 D: ∃x∃y，其中x、y的论域是全体实数