G32X(U)_Z(W)_R_E_P_F_,其中P的意思是()
举一反三
- 对公式∀x(P(x,y) →Q(x,z)) ∨∃zR(x,z)使用代入和换名规则后得到的公式正确的是（ )。 A: ∀x(P(x,y) →Q(x,z)) ∨∃zR(x,u) B: ∀u(P(u,y) →Q(x,w)) ∨∃zR(x,z) C: ∀x(P(x,y) →Q(x,z)) ∨∃wR(u,w) D: ∀x(P(u,y) →Q(u,w)) ∨∃zR(x,z)
- 切槽循环指令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)
- 【单选题】与公式("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 )
- 与公式("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)
- 重新排序 A: B: C: D: E: F: G: H: I: J: G K: L: M: N: O: P: Q: R: S: T: G U: V: W: X: Y: Z: [: \: ]: ^: E _: `: a: b: c: d: e: f: g: h: G