下列谓词公式是等价的有()。A.()┐∀xA(x)⇔∃x┐A(x)()B.()┐∃xA(x)⇔∀x┐A(x)()C.()┐∃x(M(x)∧┐F(x))⇔∀x(M(x)→F(x))()D.()┐∀x(F(x)→G(x))⇔∃x(F(x)∧┐G(x))

2021-04-14

答案：

┐∀xA(x)⇔∃x┐A(x);┐∃xA(x)⇔∀x┐A(x);┐∃x(M(x)∧┐F(x))⇔∀x(M(x)→F(x));┐∀x(F(x)→G(x))⇔∃x(F(x)∧┐G(x))()
 

0
谓词公式("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))
1
以下哪个不是谓词公式？ A: F(x) B: F(x)ØÚG(x,y) C: "x(F(x)®G(x)) D: $x"y(F(x)®G(y)ÙL(x,y))
2
【单选题】设f(x),g(x)∈F[x],若f(x)=0则有()。 A. deg(f(x)g(x))>max{degf(x),degg(x)} B. deg(f(x)+g(x))=max{degf(x),degg(x)} C. deg(f(x)+g(x))>max{degf(x),degg(x)} D. deg(f(x)g(x))
3
【单选题】若 f ( x ) = ( x − 1 ) x 2 − 1 2 , g ( x ) = x − 1 x + 1 ,则? A. f ( x ) = g ( x ) "> f ( x ) = g ( x ) B. lim x → 1 f ( x ) = g ( x ) "> lim x → 1 f ( x ) = g ( x ) C. lim x → 1 f ( x ) = lim x → 1 g ( x ) "> lim x → 1 f ( x ) = lim x → 1 g ( x ) D. 以上等式均不成立
4
设F(x)：x是人，G(x)：x早晨吃米饭。命题“有些人早晨不吃米饭”在谓词逻辑中的符号化公式是（） A: Ø $x(F(x)ÙG(x)) B: Ø $x(F(x) Ù Ø G(x)) C: Ø "x(F(x)®G(x)) D: Ø "x(F(x) ® Ø G(x))