下列读音有误的一项是（）

A.300-500头/百丛

B.2000-2500头/百丛

C.800-1000头/百丛

D.1500-2000头/百丛

A.T

B.C

C.R

D.A

A.~($x)(P(x)∧R(x)) Þ ($x) Q(x)

B.~($x)(P(x) Þ R(x)) Þ ($x) Q(x)

C.~($x)(P(x)∧R(x)) ∧ ($x) Q(x)

D.~($x)(P(x) Þ R(x)) ∧ ($x) Q(x)

A.Q / T

B.- Q / T

C.Q /5 T

D.5Q / T

A.last=(last+1)%m,q[last]=x;

B.x=q[last], last =(last+1)%m;

C.q[last+1]=x;

D.q[(last+1)%m]=x;

A.前提：("x)(~P(x)ÞQ(x)), ("x)~Q(x) 结论：P(a)

B.前提：("x)(P(x)ÞQ) 结论：("x)P(x)ÞQ

C.前提：("x)(P(x)∨Q(x)), ("x)(Q(x)Þ~R(x)) 结论：($x)(R(x)ÞP(x))

D.前提：("x)(P(x)Þ(Q(x)∧R(x))), ($x)(P(x)∧S(x)) 结论：("x)(R(x)∧S(x))

E.前提：("x)($y)P(x, y) 结论：("x)($y)($z)(P(x, y)∧P(y, z))

F.前提：("x)P(x)∨("x)Q(x) 结论：("x)(P(x)∨Q(x))

G.前提：("x)(G(x)ÞH(x))，~($x)(F(x)∧H(x)) 结论：($x)F(x)Þ($x)G(x)

H.前提：("x)(H(x)ÞM(x)) 结论：("x)("y)(H(y)∧N(x, y

A.P(x)Ú $yR(y)

B.P(x)

C.$yR(y)

D.(P(x)Ú $yR(y))→Q(x)

A.x

B.&x[0]

C.&x

D.p

A.西施

B.庄姜

C.罗敷

D.木兰