• 2022-06-17
    设L(x):x是演员,J(x):x是老师,A(x , y):x钦佩y,命题“所有演员都钦佩某些老师”符号化为( )。
    A: ∀x(L(x)→A(x,y))
    B: ∀x(L(x)→∃y(J(y)∧A(x,y)))
    C: ∀x∃y(L(x)∧J(y)∧A(x,y))
    D: ∀x∃y(L(x)∧J(y)→A(x,y))
  • B

    内容

    • 0

      在谓词逻辑中,令F(x)表示x是火车,G(y)表示y是汽车,L(x,y)表示x比y快,命题 "并不是所有的火车比所有的汽车快"的符号表示中哪些是正确的?Ⅰ.┐"x"y(F(x)∧G(y)→L(x,y))Ⅱ.$x$y(F(x)∧G(y)∧┐L(x,y))Ⅲ.$x$y(F(x)∧G(y)→┐L(x,y)) A: 仅Ⅰ B: 仅Ⅱ C: Ⅰ和Ⅱ D: 都不对

    • 1

      2-1,2-2 找出以下十二个句子所对应的谓词表达式 a)金教练既不年老但也不是健壮的。j表示金教练。O(x):x是年老的。V(x):x是健壮的。[br][/br] [br][/br] b)所有运动员都钦佩某些教练。L(x) :x是运动员。J(x):x是教练员。(A(x,y)):x钦佩y。 [br][/br] c)有些大学生不钦佩运动员。S(x):x是大学生。L(x) :x是运动员。(A(x,y)):x钦佩y。

    • 2

      在谓词公式("x)(F(x)ÞG(y))Þ($y)(H(x)∧L(x,y,z))中,("x)的辖域是() A: (F(x)ÞG(y)) B: F(x) C: (F(x)ÞG(y))Þ($y)(H(x)∧L(x,y,z)) D: ("x)(F(x)

    • 3

      在谓词公式("x)(F(x)ÞG(y))Þ($y)(H(x)∧L(x, y, z))中,($y)的辖域是( ) A: F(x) B: ("x)(F(x) C: (H(x)∧L(x, y, z)) D: (F(x)ÞG(y))

    • 4

      在谓词公式("x)(F(x)ÞG(y))Þ($y)(H(x)∧L(x, y, z))中,("x)的辖域是( ) A: (F(x)ÞG(y)) B: F(x) C: (F(x)ÞG(y))Þ($y)(H(x)∧L(x, y, z)) D: ("x)(F(x)