对公式∀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)

设f、g和h有Z到Z的函数，Z是整数集，f(z)=3z,g(z)=3z+1,h(z)=3z+2，求[tex=3.214x1.214]FeVpPHyW6m9VK0XIGPZbWA==[/tex].

设F、G、H是非空集合A上的关系，则下面成立的是( ). A: F○(G∪H)=F○G∪F○H B: (G∪H)○F=G○F∪H○F C: (F○G)○H=F○(G○H) D: F○(G∩H)=F○G∩F○H

公式"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) ) )

设有关键字序列F={Q，G，M，Z，A，N，P，X，H}，下面( )序列是从上述序列出发建堆的结果。 A: A，G，H，M，N，P，Q，X，Z B: A，G，M，H，Q，N，P，X，Z C: G，M，Q，A，N，P，X，H，Z D: H，G，M，P，A，N，Q，X，Z

设F,G,H是任意的关系, 则 (F∘G)∘H=F∘(G∘H).

在谓词公式("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)

重新排序 A: B: C: D: E: F: G: H: I: J: G K: L: M: N: O: P: Q: R: S: T: G U: V: W: X: Y: Z: [: \: ]: ^: E _: `: a: b: c: d: e: f: g: h: G

在谓词公式("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)

设 f, g, h∈ R→R ,且有[br][/br] f(x)＝x＋3, g(x)＝2x＋1, h(x)＝x/2.[br][/br]则： f ◦ g=， g ◦ f=，f ◦ h=，f ◦ f=。