直线的起点坐标为(20,-10),终点坐标为(10,20),增量编程时的程序段是()。
A: G91G01X10Y20F200
B: G91G01X-10Y20F200
C: G91G01X-10Y30F200
D: G91G01X20Y-10F200
A: G91G01X10Y20F200
B: G91G01X-10Y20F200
C: G91G01X-10Y30F200
D: G91G01X20Y-10F200
举一反三
- 谓词公式("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,总存在实数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)))
- 以下哪项是前束范式 A: "x"y(F(x) ÙF(y) ®G(y,x)) B: "x (F(x) Ù$y(F(y) ®G(y,x))) C: "x (F(x) Ù F(y) ®$y G(y,x)) D: "x (F(x) Ù "y F(y) ® G(y,x))
- Ø"xF(x)® $yG(y)的前束范式是（ ） 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) Þ ($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))