对于圆管水流的某一断面，测压管水头是指（）。
A: Z
B: p/y
C: Z+p/y
D: Z+p/y+v/2g
A: Z
B: p/y
C: Z+p/y
D: Z+p/y+v/2g
举一反三
- 静力学方程式中被称为测压管水头的是（）。 A: p/γ B: Z C: Z+p/γ D: γh
- 将公式∀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: P(y,y,b)，P(z,x,z) B: P(x,b,b)，P(a,y,z) C: 2+3=x，x=3+3 D: P(f(a),g(s))，P(y,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))
- 对公式∀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)