• 2022-06-03
    设D:全总个体域,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: xy(L(x)∧J(y)∧A(x,y))
    D: xy(L(x)∧J(y)→A(x,y))
  • B

    内容

    • 0

      设D:全总个体域,F(x):x是人,H(x,y):x与y相同,L(x,y):x与y一样高。则命题“任何两个不同的人都不一样高”的逻辑符号化为()A.B.C.D.

    • 1

      设D:全总个体域,F(x):x是花,M(x):x是人,H(x,y):x喜欢y,则命题“有的人喜欢所有的花”的逻辑符号化为 A: x(M(x)∧y(F(y)→H(x,y))) B: x(M(x)∧y(F(y)→H(x,y))) C: x(M(x)∧y(F(y)→H(x,y))) D: x(M(x)∧y(F(y)→H(x,y)))

    • 2

      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。

    • 3

      设D:全总个体域,L(x):x是演员,J(x):x是老师,A(x, y):x钦佩y。则命题“所有演员都钦佩某些老师”的逻辑符号化为( ) A: <img src="https://image.zhihuishu.com/zhs/onlineexam/ueditor/202002/2e49e1f4de184b848904ec9302bd6df4.png" /> B: <img src="https://image.zhihuishu.com/zhs/onlineexam/ueditor/202002/b1c221caeb944da0a2e37ae5e6484cdc.png" /> C: <img src="https://image.zhihuishu.com/zhs/onlineexam/ueditor/202002/204ad67b6eb04dc5be97acf4121e669d.png" /> D: <img src="https://image.zhihuishu.com/zhs/onlineexam/ueditor/202002/6957f2ed8ea3445480d15e716265ef61.png" />

    • 4

      在谓词逻辑中,令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: 都不对