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

    内容

    • 0

      公式("x)(P(x)→R(x))∧($y)Q(x,y)中"x的辖域是(P(x)→R(x))∧($y)Q(x,y) 。

    • 1

      【单选题】与公式("x)(P(x)∧Q(x, y))Þ($x)R(x, y)等值的是()。 A. ( " x )( P ( x ) ∧ Q ( x , z )) Þ ( $ x ) R ( x , y ) B. ( " y )( P ( y ) ∧ Q ( y , y )) Þ ( $ x ) R ( x , y ) C. ( " z )( P (z ) ∧ Q ( x , y )) Þ ( $ x ) R ( x , y ) D. ( " u )( P ( u ) ∧ Q ( u , z )) Þ ( $ x ) R ( x , z )

    • 2

      下面的命题公式中,不存在自由变元的是()。 A: (P→Q(x))→R B: ∀x(P(x)∧Q(x))→R(y) C: (P(x)∨Q(y))→R(y) D: ∀x(P(x)→Q(x)∧R(x))

    • 3

      将公式∀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)

    • 4

      请问谓词公式中(∀x)(P(x,y)→Q(x,y))∨R(x,y)的自由变元有哪几个? A: P(x,y)中的x B: R(x,y)中的x C: Q(x,y)中的x D: P(x,y)中的y