• 2022-06-05
    设F(): x是人,G(): 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))
  • D

    内容

    • 0

      设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))

    • 1

      设F(x):x具有性质F,G(x):x具有性质G,则命题“对所有的x而言,若x具有性质F,则x就有性质G”符号化形式为 A: ∃x(F(x)→G(x)) B: ∃x(F(x)∧G(x)) C: ∀x(F(x)→G(x)) D: ∀x(F(x)∧G(x))

    • 2

      设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))

    • 3

      若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))

    • 4

      设f(x)=sinx,g(x)=cosx,则在[0,π/4]上有[]. A: f(x)≥g(x),fˊ(x)>gˊ(x) B: f(x)≥g(x),fˊ(x)<gˊ(x) C: F(X)≤g(x),fˊ(x)>gˊ(x) D: f(x)≤g(x),fˊ(x)<gˊ(x)