前提：∀x(P(x)→Q(x))，∃xP(x) ⇒∃xQ(x) (1)∀x(P(x) → Q(x)) 前提 (2) ∃xP(x) 前提 (3) P(c) (2), Es规则 (4)P(c)→Q(c) (1), Us规则 (5) Q(c) (3)(4), 假言推理I (6)∃xQ(x) (5), Eg规则 上述推理过程是否正确？

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

切比雪夫距离、曼哈顿距离与欧式距离分别对应闵可夫斯基距离中q为几的情形 A: q=1,q=2,q=∞ B: q=2,q=1,q=∞ C: q=∞,q=1,q=2 D: q=∞,q=2,q=1

G="xP(x) →$xQ(x) 则与G等价的是 A: "x(ØP(x) ∨Q(x)) B: $x(ØP(x) ∧Q(x)) C: $x(P(x) ∨ØQ(x)) D: $x(ØP(x) ∨Q(x))

在X线诊断能量范围内，Q、N的取值分别是（） A: Q=2、N=2 B: Q=1、N=2 C: Q=1、N=1 D: Q=3、N=2 E: Q=2、N=3

电势差为 V 的电池使两个相同电容器的组合存储电荷 Q。在两电容器是 a）并联、b）串联的两种情况下，每个电容器上的电势差与电荷分别为（） A: a）V，Q/2; b）V，Q。 B: a）V，Q/2; b）V/2，Q。 C: a）V/2，Q/2; b）V，Q。 D: a）V/2，Q/2; b）V/2，Q。

将{ 32, 2, 15, 65, 28, 10 }依次插入初始为空的二叉搜索树。则该树的前序遍历结果是： A: 2, 10, 15, 28, 32, 65 B: 32, 2, 10, 15, 28, 65 C: 10, 28, 15, 2, 65, 32 D: 32, 2, 15, 10, 28, 65

图示结构，截面C的弯矩为[img=265x96]1802e28350eafb0.png[/img] A: 1/4*q*l^2 B: 1/2*q*l^2 C: q*l^2 D: 2*q*l^2

【单选题】设图中B点即变压器二次侧计算负荷为 P 30(2) 、 Q 30(2) ,则A点即变压器一次侧计算负荷 P 30(1) 、 Q 30(1) 为()。 A. P 30(1) = P 30(2) + ΔP T ， Q 30(1) = Q 30(2) + ΔQ T B. P 30(1) = P 30(2) - ΔP T ， Q 30(1) = Q 30(2) - ΔQ T C. P 30(1) = P 30(2) + ΔQ T ， Q 30(1) = Q 30(2) + ΔP T D. P 30(1) = P 30(2) - ΔQ T ， Q 30(1) = Q 30(2) - ΔP T

强度为Q的源流位于x轴的原点左侧，强度为Q的汇流位于x轴原点右侧，距原点的距离均为a，则流函数为（）。 A: ψ＝arctan[y/（x－a）]Q/（2π）＋arctan[y/（x＋a）]Q/（2π） B: ψ＝arctan[y/（x＋a）]Q/（2π）＋arctan[y/（x－a）]Q/（2π） C: ψ＝arctan[（y－a）/x]Q/（2π）＋arctan[（y＋a）/x]Q/（2π） D: ψ＝arctan[（y＋a）/x]Q/（2π）＋arctan[（y－a）/x]Q/（2π）