A: Q
B: P
C: K
D: R
举一反三
- 4.钻孔循环指令G¨ X Y Z R Q P F K 中表示循环次数的代码是 。 A: A.Q B: B.P C: C.K D: D.R
- 固定循环的程序格式为:_____ G99 G×× X~ Y~ Z~ R~ Q~ P~ F~K
- 切槽循环指令G75在程序中的书写格式正确的是( ) A: G75 X(d)G75 R(r) Z(z) P(p) Q(q) F(f) B: G75 Z(z)G75 X(d) R(r) P(p) Q(q) F(f) C: G75 P(p)G75 X(d) R(r) Z(z) Q(q) F(f) D: G75 R(r)G75 X(d) Z(z) P(p) Q(q) F(f)
- 钻孔编程格式:G90 /G91 G98/G99 G73~G89 X~Y~Z~R~Q~P~F~K ~中G98表示 。
- 将公式∀x(P(x)→Q(x,y))∧R(x,y)使用改名规则变换后正确的是 。 A: ∀z(P(z)→Q(z,y))∧R(x,y) B: ∀y(P(y)→Q(y,y))∧R(x,y) C: ∀z(P(z)→Q(x,y))∧R(x,y) D: ∀z(P(z)→Q(z,y))∧R(z,y)
内容
- 0
当指令“G74 R(e) ;G74 X(U) Z(W) P(Δi) Q(Δk) R(Δd) F ;”作为啄式钻孔指令时,下列参数中的( )值须为0。 A: R(e) B: W C: P(Δi) D: Q(Δk)
- 1
与公式("x)(P(x)∧Q(x, y))Þ($x)R(x, y)等值的是( )。 A: ("x)(P(x)∧Q(x, z))Þ($x)R(x, y) B: ("y)(P(y)∧Q(y, y))Þ($x)R(x, y) C: ("z)(P(z)∧Q(x, y))Þ($x)R(x, y) D: ("u)(P(u)∧Q(u, z))Þ($x)R(x, z)
- 2
以下哪几项是前束范式? A: (∀x)(∀y)(P(x)∧(∃z)Q(y,z)∨R(x,z)) B: (∀z)(∀x)(∃y)(P(x)∧Q(y,z)∨R(x,z)) C: (∀x)(∀y)(P(x)∧Q(y,z)∨(∃z)R(x,z)) D: (∃x)(∃y)(∀z)(P(x)∧Q(y,z)∨R(x,z))
- 3
【单选题】与公式("x)(P(x)∧Q(x, y))Þ($x)R(x, y)等值的是()。 A. ( " x )( P ( x ) ∧ Q ( x , z )) Þ ( $ x ) R ( x , y ) B. ( " y )( P ( y ) ∧ Q ( y , y )) Þ ( $ x ) R ( x , y ) C. ( " z )( P (z ) ∧ Q ( x , y )) Þ ( $ x ) R ( x , y ) D. ( " u )( P ( u ) ∧ Q ( u , z )) Þ ( $ x ) R ( x , z )
- 4
对谓词公式(∀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))