设个体域D={a, b}，消去公式∀xF(x)→∃yG(y)中的量词后得（ ）
A: (F(a)→G(a))∧(F(b)→G(b))
B: (F(a)∨F(b))→(G(a)∧G(b))
C: (F(a)∧F(b))→(G(a)∨G(b))
D: (F(a)∨F(b))→(G(a)∨G(b))
A: (F(a)→G(a))∧(F(b)→G(b))
B: (F(a)∨F(b))→(G(a)∧G(b))
C: (F(a)∧F(b))→(G(a)∨G(b))
D: (F(a)∨F(b))→(G(a)∨G(b))
举一反三
- 当个体域S=｛a,b,c｝消去公式 $x F(x) → "y G(y)中量词为 A: (F(a) Ú F(b) Ú F(c))→ (G(a) Ù G(b) Ù G(c)) B: (F(a) Ù F(b) Ù F(c))→ (G(a) Ù G(b) Ù G(c)) C: (F(a) Ú F(b) Ú F(c))→ (G(a) Ú G(b) Ú G(c)) D: (F(a) Ù F(b) Ù F(c))→ (G(a) Ú G(b) Ú G(c))
- 设函数f(x),g(x)是大于零的可导函数，且f'(x)g(x)-f(x)g'(x) A: f(x)g(b)>;f(b)g(x) B: f(x)g(a)>;f(a)g(x) C: f(x)g(x)>;f(a)g(a) D: f(x)g(x)>;f(b)g(b)
- 设f(x)，g(x)在[a，b]上可导，且f"(x)g(x)+f(x)g’(x)＜0，则当x∈(a，b)时，有( )． A: f(x)g(x)＞f(b)g(a) B: f(x)g(x)＞f(b)g(a) C: f(a)g(b)＞f(b)g(a) D: f(x)g(x)＞f(b)g(b)
- 设函数f（x），g（x）是大于零的可导函数，且f′（x）g（x）－f（x）g′（x）＜0，则当a＜x＜b时有（） A: f（x）g（b）＞f（b）g（x） B: f（x）g（a）＞f（a）g（x） C: f（x）g（x）＞f（b）g（b） D: f（x）g（x）＞f（a）g（）
- Ø"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))