下列关于循环群;的叙述,不一定成立的是( )。
A: ∀a, x, y∈G,若a*x=a*y,则x=y
B: ∀x, y∈G,x*y=y*x
C: ∀a∈G,a*a=a
D: ∀a, b, c∈G,a*(b*c)=(a*b)*c
A: ∀a, x, y∈G,若a*x=a*y,则x=y
B: ∀x, y∈G,x*y=y*x
C: ∀a∈G,a*a=a
D: ∀a, b, c∈G,a*(b*c)=(a*b)*c
举一反三
- 下列关于循环群;的叙述,不一定成立的是( )。 A: ∀a, x, y∈G,若a*x=a*y,则x=y B: ∀x, y∈G,x*y=y*x C: ∀a∈G,a*a=a D: ∀a, b, c∈G,a*(b*c)=(a*b)*c
- 下列关于循环群;的叙述,不一定成立的是( )。 A: ∀a, x, y∈G,若a*x=a*y,则x=y B: ∀x, y∈G,x*y=y*x C: ∀a∈G,a*a=a D: ∀a, b, c∈G,a*(b*c)=(a*b)*c
- 谓词公式("x)F(x) Þ ("x)G(x)的前束范式是( ) A: ("x)("y) (F(x) Þ G(y)) B: ($x)("y)(F(x) Þ G(y)) C: ("x)($y) (F(x) Þ G(y)) D: ($x)($y)(F(x) Þ G(y))
- Ø"xF(x)® $yG(y)的前束范式是（ ） A: "x$y(Ø F(x) ® G(y)) B: "x"y(Ø F(x) ® G(y)) C: $x"y(Ø F(x) ® G(y)) D: $x$y(Ø F(x) ® G(y))
- 以下哪项是前束范式 A: "x"y(F(x) ÙF(y) ®G(y,x)) B: "x (F(x) Ù$y(F(y) ®G(y,x))) C: "x (F(x) Ù F(y) ®$y G(y,x)) D: "x (F(x) Ù "y F(y) ® G(y,x))