• 2022-06-09
    “有的投票人(T(x))赞成(Z(x,y))所有的侯选人(H(y))”的谓词公式是
    A: x(T(x)∧y(H(y)→﹁Z(x,y))
    B: x(T(x)∧y(H(y)→Z(x,y))
    C: x(T(x)∧y(H(y)→Z(x,y))
    D: x(T(x)∧y(H(y)∧Z(x,y))
  • B

    内容

    • 0

      谓词公式"xP(x,y)Ù$t(Q(t,z)→"x$yR(x,y,t))中量词$t的辖域是() A: $t(Q(t,z)→"x$yR(x,y,t)) B: Q(t,z)→"x$yR(x,y,t) C: "x$yR(x,y,t) D: Q(t,z)

    • 1

      公式(∀xF(x,y)→∃yG(y))→∀xH(x,y)的前束范式是() A: ∀x∀t∀w((F(x,y)→G(t))→H(w,y)) B: ∀x∃t∀w((F(x,y)→G(t))→H(w,y)) C: ∀x∃y((F(x,y)→G(y))→H(x,y)) D: ∃x∃t∃w((F(x,y)→G(t))→H(w,y))

    • 2

      下列程序段的执行结果是( )。 x = 5: y = 7: z = 8 If x < y Then t = x: x = y: y = t End If If y < z Then t = y: y = z: z = t If x < y Then t = x: x = y: y = t End If End If Print x, y, z A: 8 5 7 B: 8 7 5 C: 5 7 8 D: 7 5 8

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