刀具在X、Y平面从点（50，100）快速移动到（50，60），下列用增量坐标表示正确的语句是（）。
A: G91G00X50.0Y160.0
B: G91G00X-40.0Y0
C: G00V0W-40.0
D: G00U0V-40.0
A: G91G00X50.0Y160.0
B: G91G00X-40.0Y0
C: G00V0W-40.0
D: G00U0V-40.0
举一反三
- 曲面F（x，y，z）=0和曲面G（x，y，z）=0的交线方程可写为： F（x，y，z）=0，G（x，y，z）=0.
- 谓词公式("x)F(x) Þ ("x)G(x)的前束范式是( ) A: ("x)("y) (F(x) Þ G(y)) B: ($x)("y)(F(x) Þ G(y)) C: ("x)($y) (F(x) Þ G(y)) D: ($x)($y)(F(x) Þ G(y))
- 对公式∀x（F(x)→G(x,y))∧H(x,y)做代替，则下面公式中正确的是（ ）。 A: ∀x（F(x)→G(x,y))∧H(z,y) B: ∀x（F(x)→G(y,z))∧H(u,y) C: ∀z（F(z)→G(x,y))∧H(y,y) D: ∀z（F(x)→G(z,y))∧H(x,y)
- 下列关于循环群＜G, *＞的叙述，不一定成立的是（ ）。 A: ∀a, b, c∈G，a*(b*c)=(a*b)*c B: ∀a∈G，a*a=a C: ∀x, y∈G，x*y=y*x D: ∀a, x, y∈G，若a*x=a*y，则x=y
- 公式(∀xF(x,y)→∃yG(y))→∀xH(x,y)的前束范式是（） A: ∀x∀t∀w((F(x,y)→G(t))→H(w,y)) B: ∀x∃t∀w((F(x,y)→G(t))→H(w,y)) C: ∀x∃y((F(x,y)→G(y))→H(x,y)) D: ∃x∃t∃w((F(x,y)→G(t))→H(w,y))