• 2022-05-31
    中国大学MOOC: 设P(x):x是聪明的,M(x):x是人,则命题“尽管有人聪明,但未必一切人都聪明”的符号化( )
  • http://edu-image.nosdn.127.net/860AD7784BD6AB409C36D51BED16934C.png?imageView&thumbnail=890x0&quality=100

    举一反三

    内容

    • 0

      设P(x):x非常聪明;Q(x):x非常能干;a:小李;则命题“小李非常聪明和能干”的谓词表达式为( ) 未知类型:{'options': ['P(a)∧Q(a)', ' P(a) →Q(a)', ' [img=130x23]17da62553855e05.png[/img]', ' [img=121x23]17da6255663e7cd.png[/img]'], 'type': 102}

    • 1

      设M(x)表示x是人,P(x)表示x犯错误。命题“没有不犯错误的人”符号化为()。 A: x(M(x)∧P(x)) B: ¬Ǝx(M(x)→¬P(x)) C: ¬Ǝx(M(x)∧P(x)) D: ¬Ǝx(M(x)∧¬P(x))

    • 2

      设D:全总个体域,M(x):x是人,F(x):x犯错误。则命题“没有不犯错误的人”的逻辑符号化为( ) A: $x( M(x)∧P(x) ) B: "x( M(x)∧F(x) ) C: "x( M(x) → F(x) ) D: $x( M(x) → P(x) )

    • 3

      设D:全总个体域,M(x):x是人,F(x):x犯错误。则命题“没有不犯错误的人”的逻辑符号化为( ) A: "x( M(x) → F(x) ) B: $x( M(x)∧P(x) ) C: $x( M(x) → P(x) ) D: "x( M(x)∧F(x) )

    • 4

      中国大学MOOC: 设D:全总个体域,F(x):x是花,M(x) :x是人,H(x,y):x喜欢y。则命题“有的人喜欢所有的花”的逻辑符号化为( )