公式"x ( F(x,y,z ) → "y ( G(x,y,z) → "z H(x,y,z) ) )的前束范式为
A: "x$y$z (F(x,t,w) → ( G(x,y,w ) → H(x,y,z) ) )
B: $x$y$z (F(x,t,w) → ( G(x,y,w ) → H(x,y,z) ) )
C: "x"y$z (F(x,t,w) → ( G(x,y,w ) → H(x,y,z) ) )
D: "x$y"z (F(x,t,w) → ( G(x,y,w ) → H(x,y,z) ) )
A: "x$y$z (F(x,t,w) → ( G(x,y,w ) → H(x,y,z) ) )
B: $x$y$z (F(x,t,w) → ( G(x,y,w ) → H(x,y,z) ) )
C: "x"y$z (F(x,t,w) → ( G(x,y,w ) → H(x,y,z) ) )
D: "x$y"z (F(x,t,w) → ( G(x,y,w ) → H(x,y,z) ) )
举一反三
- 对公式∀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)
- 公式(∀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))
- 公式“∀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))
- “有的投票人(T(x))赞成(Z(x,y))所有的侯选人(H(y))”的谓词公式是 A: x(T(x)∧y(H(y)→﹁Z(x,y)) B: x(T(x)∧y(H(y)→Z(x,y)) C: x(T(x)∧y(H(y)→Z(x,y)) D: x(T(x)∧y(H(y)∧Z(x,y))
- 下列程序的输出结果是（ ） void f(int v,int w) { int t; t=v;v=w;w=t; } int main() { int x=1,y=3;z=2; if(x>y) f(x,y); else if(y>z) f(y,z); else f(x,z); printf(“%d,%d,%d\n”,x,y,z); }