下列关于循环群＜G, *＞的叙述，不一定成立的是（ ）。
A: ∀a, b, c∈G，a*(b*c)=(a*b)*c
B: ∀a∈G，a*a=a
C: ∀x, y∈G，x*y=y*x
D: ∀a, x, y∈G，若a*x=a*y，则x=y
A: ∀a, b, c∈G，a*(b*c)=(a*b)*c
B: ∀a∈G，a*a=a
C: ∀x, y∈G，x*y=y*x
D: ∀a, x, y∈G，若a*x=a*y，则x=y
举一反三
- 下列关于循环群;的叙述,不一定成立的是( )。 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))