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, 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，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)
- 以下哪几项是前束范式？ 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))
- 谓词公式∀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∀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)
内容
- 0
表达式∀x(P(x,y)∨Q())∧∃y(R(x,y)→∀Zq())中∀x的辖域是() A: P(x,y) B: P(x,y)∨Q(z) C: R(x,y) D: P(x,y)∧R(x,y)
- 1
【单选题】公式(∀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)
- 2
对公式∀x(P(x,y) →Q(x,z)) ∨∃zR(x,z)使用代入和换名规则后得到的公式为 A: ∀x(P(x,y) →Q(x,z)) ∨∃vR(x,v) B: ∀u(P(u,y) →Q(u,z)) ∨∃zR(x,z) C: ∀u(P(u,y) →Q(u,z)) ∨∃vR(x,v) D: ∀u(P(u,y) →Q(u,z)) ∨∃vR(u,v)
- 3
对公式∀x(P(x,y) →Q(x,z)) ∨∃zR(x,z)使用代入和换名规则后得到的公式正确的是（ )。 A: ∀x(P(x,y) →Q(x,z)) ∨∃zR(x,u) B: ∀u(P(u,y) →Q(x,w)) ∨∃zR(x,z) C: ∀x(P(x,y) →Q(x,z)) ∨∃wR(u,w) D: ∀x(P(u,y) →Q(u,w)) ∨∃zR(x,z)
- 4
设P(x):x是大象,Q(x):x是老鼠,R(x,y):x比y重,则命题“大象比老鼠重”的符号化为 A: ∀x∀y(P(x)∧Q(y)→R(x,y)) B: P(x)∧Q(y)→R(x,y) C: ∀x∃y(P(x)∧Q(y)∧R(x,y)) D: ∃x∃y(P(x)∧Q(y)∧R(x,y))