下面程序正确的是（ ）。
A: G02 X58 Y50 I18 J8 F80
B: G02 G01 X58 Y50 R80
C: G02 G03 X58 Y50 R80
D: G02 G00 X58 Y50 J80
A: G02 X58 Y50 I18 J8 F80
B: G02 G01 X58 Y50 R80
C: G02 G03 X58 Y50 R80
D: G02 G00 X58 Y50 J80
A
举一反三
- 某一程序段N70 G00 G54 G90 X100 Y100 Z50；N80 G01 X80 Z10 F100；N90 Y50；执行完N90段后，机床到达的工件坐标点是（ ）。 A: X=100，Y=100，Z=50 B: X=80，Y=50，Z=50 C: X=80，Y=100，Z=10 D: X=80，Y=50，Z=10
- 下列程序中正确的是（ ）。 A: G00 X50 Y50； B: GO0 X50 Y50； C: G02 G41 D01 X50 Y50 R50; D: G03 X50 Y50;
- 对谓词公式（∀x)((∃y)﹁P(x，y)∨(∃y)( Q(x，y) ∧﹁R(x，y)))化简可以得到包含哪几项的子句？ A: P(x,f(x))∨Q(x,g(x)) B: ﹁P(x,f(x))∨Q(x,g(x)) C: ﹁P(y,f(y))∨﹁R(y,g(y)) D: P(y,f(y))∨R(y,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))
- Ø"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))
内容
- 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))
- 1
"x F(x,y) → ¬ $y G(x,y)的前束范式 A: $x$y（F(x,m) ®Ø G(t,y)） B: $x∀y（F(x,m) ®Ø G(t,y)） C: ∀x$y（F(x,m) ®Ø G(t,y)） D: ∀x$y（F(x,m) ® ØG(t,y)）
- 2
对公式∀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)
- 3
以下哪项是前束范式 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))
- 4
公式“∀xF(x)→∃yG(x,y)”的前束范式是 A: ∃x∃y(F(x)→G(z,y)) B: ∀x∃y(F(x)→G(z,y)) C: ∃x∀y(F(x)→G(z,y)) D: ∀x∀y(F(x)→G(z,y))