以“不可能（p并且q）”为前提进行等值推理，其结论为

A.“p且q”真

B.“非p且q”真

C.“只有q，才非p”假

D.“p或者非q”假

A.前提： ~p∧q, p∨~r, r∨s, sÞu 结论： u

B.前提： p∨q, pÛr, ~q∨s 结论： s∨r

C.前提： pÞ(qÞr) 结论： (pÞq)Þ(pÞr)

D.前提： (p∧q)Þr, ~r∨s, ~s, p 结论： q

A.P(A)小于P(A|B)

B.P(A)小于等于P(A|B)

C.P(A)大于P(A|B)

D.P(A)大于等于P(A|B)

A.0<P(A)<1

B.P(A)=1

C.0≤P(A)≤1

D.P(A)=0或1

A.p->next=head;myrear->next=p;head=p;

B.head->next=p;myrear->next=p;head=p;

C.myrear->next=p;head=p;head->next=p;

D.myrear->next=p;head=p;p->next=head;

A.p—>next==NULL

B.p==NULL

C.p—>next==head

D.p==head

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