当个体域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))
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))
举一反三
- 设个体域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))
- 设函数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（）
- 设f（x），g（x）是恒大于零的可导函数，且f'（x）g（x）-f（x）g'（x）＜0，则当a＜x＜b时，必有（）． A: f(g(＞/(g( B: f(g(＞f(g( C: f(g(＞/(g( D: f(g(＞f(g(