集合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＞}。（ ）
举一反三
- 公式"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) ) )
- 以下()程序段可以实现x、y变量值的变换。 A: y=x： x=y B: z=x：y=z ：x=y C: z=x： x=y：y=z D: z=x ：w=y ： y=z： x=y
- 以下( )程序段可以实施X Y变量值的变换 A: Z=X:W=Y:Y=Z:X=Y B: Y=X:X=Y C: Z=X:X=Y:Y=Z D: Z=X:Y=Z:X=Y
- 以下（ ）程序段可以实施X、Y变量值的交换。 A: z=X：x=Y:y=z B: Y=X：X=Y C: Z=X：Y=Z：X=Y D: Z=X：w=Y：Y=Z：X=Y
- 以下程序段可以实现X、Y变量值的交换. A: Y=X:X=Y B: Z=X:Y=Z:X=Y C: Z=X:X=Y:Y=Z D: Z=X:W=Y:Y=Z:X=Y