• 2022-06-14
    下列哪个不是谓词公式()
    A: ∀x(P(x)→Q(x))
    B: ∃z(∀x∃y∨P(z))
    C: ∃x(P(x)∧P(y))
    D: ∃y(∀x(P(x,y))→∀x(P(x)))
  • B

    内容

    • 0

      将公式∀x(P(x)→Q(x,y))∧R(x,y)使用改名规则变换后正确的是 。 A: ∀z(P(z)→Q(z,y))∧R(x,y) B: ∀y(P(y)→Q(y,y))∧R(x,y) C: ∀z(P(z)→Q(x,y))∧R(x,y) D: ∀z(P(z)→Q(z,y))∧R(z,y)

    • 1

      下面公式()不是谓词公式 A: P B: P(x)∨Q(y)→R(x) C: ∀P(x)∧R(x,y) D: ∀x(R(x)→P(x,y))

    • 2

      对公式∀x∀y(P(x,y)∨Q(x,z))∧∃xP(x,y)使用代入和换名规则后得到的公式为( )。 A: ∀u∀y(P(u,y)∨Q(u,z))∧∃wP(w,s) B: ∀x∀u(P(x,u)∨Q(x,z))∧∃xP(x,y) C: ∀x∀y(P(x,y)∨Q(x,u))∧∃xP(x,s) D: ∀x∀y(P(x,y)∨Q(x,z))∧∃uP(u,z)

    • 3

      以下哪几项是前束范式? A: (∀x)(∀y)(P(x)∧(∃z)Q(y,z)∨R(x,z)) B: (∀z)(∀x)(∃y)(P(x)∧Q(y,z)∨R(x,z)) C: (∀x)(∀y)(P(x)∧Q(y,z)∨(∃z)R(x,z)) D: (∃x)(∃y)(∀z)(P(x)∧Q(y,z)∨R(x,z))

    • 4

      贝叶斯公式是下列哪一个 A: P(y│x)=(P(x│y)P(x))/P(y) B: P(y│x)=(P(x│y))/P(x)P(y) C: P(y│x)=(P(x│y)P(y))/P(x) D: P(y│x)=P(x)P(y)/(P(x│y) )