下面公式()不是谓词公式
A: P
B: P(x)∨Q(y)→R(x)
C: ∀P(x)∧R(x,y)
D: ∀x(R(x)→P(x,y))
A: P
B: P(x)∨Q(y)→R(x)
C: ∀P(x)∧R(x,y)
D: ∀x(R(x)→P(x,y))
C
举一反三
- 谓词公式∀xP(x)→∀xQ(x)∨∃yR(y)的前束范式为 A: ∀x∀z∃y(P(x)→Q(z) ∨ R( y)) B: ∃x∀z∃y(P(x)→Q(z) ∨ R( y)) C: ∀x∃y(P(x)→Q(x) ∨ R( y)) D: ∃x∀y(P(x)→Q(x) ∨ R( y))
- 谓词公式(∀x(P(x)∨∃yR(y)))→Q(x)∧R(x)中量词∀x的辖域是 . A: P(x)∨∃yR(y) B: P(x) C: (P(x)∨∃yR(y))→Q(x) D: (∀x(P(x)∨∃yR(y)))→Q(x)∧R(x)
- 对谓词公式(∀x)((∃y)﹁P(x,y)∨(∃y)( Q(x,y) ∧﹁R(x,y)))化简可以得到包含哪几项的子句? A: P(x,f(x))∨Q(x,g(x)) B: ﹁P(x,f(x))∨Q(x,g(x)) C: ﹁P(y,f(y))∨﹁R(y,g(y)) D: P(y,f(y))∨R(y,g(y))
- 与公式("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)
- 【单选题】公式(∀x)[P(x)∧Q(x, A) →(∃y)[R(x, y)∨S(y)]]中,∀x的辖域为 , ∃y的辖域为 。 A. P(x); R(x, y) B. P(x)∧Q(x, A); R(x, y) C. P(x)∧Q(x, A)→(∃y)[R(x, y)∨S(y)]; R(x, y) D. P(x)∧Q(x, A)→(∃y)[R(x, y)∨S(y)]; R(x, y)∨S(y)
内容
- 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