对于定义域为R的偶函数f（x），定义域为R的奇函数g（x），都有（　　） A: f（-x）-f（x）＞0 B: g（-x）-g（x）＞0 C: g（-x）g（x）≥0 D: f（-x）g（-x）+f（x）g（x）=0

对谓词公式（∀x)((∃y)﹁P(x，y)∨(∃y)( Q(x，y) ∧﹁R(x，y)))化简可以得到包含哪几项的子句？ A: P(x,f(x))∨Q(x,g(x)) B: ﹁P(x,f(x))∨Q(x,g(x)) C: ﹁P(y,f(y))∨﹁R(y,g(y)) D: P(y,f(y))∨R(y,g(y))

设F(x):x是学生,G(x):x是体育运动,H(x,y):x喜欢y。命题“所有学生都喜欢某种体育运动”的符号化公式是().(5.0) A: ∃y(G(y)→∀x(F(x)∧H(x,y))) B: ∀x(F(x)→∃y(G(y)∧H(x,y))) C: ∀x∃y(G(y)→(F(x)∧H(x,y))) D: ∃y(G(y)→∀x(F(x)→H(x,y)))

曲面F（x，y，z）=0和曲面G（x，y，z）=0的交线方程可写为： F（x，y，z）=0，G（x，y，z）=0.

3.4对下列各题分别证明G是否为F1,F2,…,Fn的逻辑结论：(1)F:(Ǝx)(Ǝy)(P(x,y)G:(ꓯy)(Ǝx)(P(x,y)(2)F:(ꓯx)(P(x)∧(Q(a)∨Q(b)))G:(Ǝx)(P(x)∧Q(x))(3)F:(Ǝx)(Ǝy)(P(f(x))∧(Q(f(y)))G:P(f(a))∧P(y)∧Q(y)(4)F1:(ꓯx)(P(x)→(ꓯy)(Q(y)→[img=1x1]17e0a6a55067d30.gif[/img]L(x.y)))F2:(Ǝx)(P(x)∧(ꓯy)(R(y)→L(x.y)))G:(ꓯx)(R(x)→[img=1x1]17e0a6a55067d30.gif[/img]Q(x))(5)F1:(ꓯx)(P(x)→(Q(x)∧R(x)))F2:(Ǝx)(P(x)∧S(x))G:(Ǝx)(S(x)∧R(x))

构造下列推理的证明。 (1)前提：$xF(x)，"x((F(x)∨G(x))→H(x))；结论：$xH(x)。 (2)前提：$xF(x)∧"xG(x)；结论：$x(F(x)∧G(x))。 (3)前提：¬$xF(x)，"x($y(G(x,y)∧P(y))→$y(F(y)∧R(x,y)))；结论："x"y(G(x,y)→¬P(y))。

【单选题】由 f(x)=g(x)q(x)+r(x),可得() A. (f(x),g(x))=(f(x),r(x)) B. (f(x),g(x))=(g(x),r(x)) C. (f(x),r(x))=(g(x),r(x)) D. (f(x),q(x))=(g(x),r(x))

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

设"f:R→R, f(x)"=x^2-x+2; "g:R→R," "g(x)"=x-3"," 则"f°g(x)="( )

若对任意实数x，有¦(―x)=―¦(x)，g(―x)=g(x)，且x>0时¦′(x)>0，g′(x)>0，则x<0时 A: ¦′(x)>0，g′(x)>0 B: ¦′(x)>0，g′(x)<0 C: ¦′(x)<0，g′(x)>0 D: ¦′(x)<0，g′(x)<0