公式"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) ) )
A
举一反三
- 对公式∀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); }
内容
- 0
【简答题】指出下列关系模式是第几范式?并说明理由。 1 R (X,Y,Z) F={XY →Z} 1 R (X,Y,Z) F={Y →Z,XZ→Y} 1 R (X,Y,Z) F={Y →Z,Y→X,X→Y , X→ Z} 1 R (X,Y,Z) F={X →Y,X→Z} 1 R (W,X,Y,Z) F={X →Z,WX→Y}
- 1
下面哪些是公式 ¬∃xF(x)→∀yG(x,y) 的前束范式？ A: ∃z∀y(¬F(z)→G(x,y)) B: ∃z∀y(F(z)∨G(x,y)) C: ∀y∃z(F(z)∨G(x,y)) D: 其它选项都不对。
- 2
公式∀x(F(x,y,z)→G(x,y))∧H(x,y,z)中，x约束出现 次。
- 3
在谓词公式("x)(F(x)ÞG(y))Þ($y)(H(x)∧L(x,y,z))中，("x)的辖域是（） A: (F(x)ÞG(y)) B: F(x) C: (F(x)ÞG(y))Þ($y)(H(x)∧L(x,y,z)) D: ("x)(F(x)
- 4
集合A={x,y,z,w}的划分S={{x}, {y,z}, {w}}，则由划分S所导出的A上的等价关系 R={＜x,x＞,＜x,y＞,＜y,x＞, ＜y,y＞,＜z,z＞,＜w,w＞}。（ ）