)．B.A.存在一整數(shù)x有整數(shù)y滿足x+y=0C.對任一整數(shù)x存在整數(shù)y滿足x+y=0B.任一整數(shù)x對任意整數(shù)y滿足x+y=0D.存在一整數(shù)x對任意整數(shù)y滿足x+y=0)．A.PQPQC.PPA.ABAB)命題公式（P）的合取范式是()．)．A.(P)B.PQA.存在一整數(shù)x有整數(shù)y滿足x+y=0B.任一整數(shù)x對任意整數(shù)y滿足x+y=0C.對任一整數(shù)x存在整數(shù)y滿足x+y=0)．)．在謂詞公式()(A()→B()C(，))B.，y都是自由變元C.x是約束變元，y都是自由變元D.x是自由變元，y都是約束變元命題公式PQ的主合取范式是(A.(P)B.PQA.()(A()B())B.()(A()B()))．命題公式P)R的析取范式是()命題公式(P)Q為(A.存在一整數(shù)x有整數(shù)y滿足x+y=0C.對任一整數(shù)x存在整數(shù)y滿足x+y=0的析取范式是()．)．C.x是約束變元，y都是自由變元D.x是自由變元，y都是約束變元)．A.(P))．B.(P)R的析取范))．)．A.PQPQB.((P))((PQ)))A.(P)C.x是約束變元，y都是自由變元D.x是自由變元，y都是約束變元)為永真式．A.ABAB(AB)A.()(A()→B())設(shè)個體域a,b,}，那么謂詞公式．A.(A(a)Ab)A())(B(a)B()B(b))C.(A(a)Ab)A())(B(a)B()B(b))B.(Aa)A(b)A())B(a)B(b)Bb))D.(Aa)A(b)A())B(a)B(b)Bb)))．)．A.PQPQ2.)A.()(A()B())C.()(A()B())的轄域是()．A.P）7.下列等價公式成立的為(C.（P）在謂詞公式()(A()→B()C(，))C.x是約束變元，y都是自由變元9.命題公式(P)Q為(D.x是自由變元，y都是約束變元設(shè)個體域a,b,}，那么謂詞公式．A.(A(a)Ab)A())(B(a)B()B(b))C.(A(a)Ab)A())(B(a)B()B(b))B.(Aa)A(b)A((B(a)B(b)Bb))D.(Aa)A(b)A((B(a)B(b)Bb))A.(P)2.設(shè)個體域D是整數(shù)集合，則命題"x$y(x×y=y)的真值是（C.不確定D.以上說法都不是的析取范式是()．C.B.)．B.C.5.設(shè)個體域為整數(shù)集，則公式"x$y(x+y=0)的解釋可為(A.存在一整數(shù)x有整數(shù)y滿足x+y=0))為永真式．A.ABABC.ABAB10.下列等價公式成立的為(B.PPQC.PPQ06任務(wù)_0006試卷總分：100單項選擇題一、單項選擇題（共10道試題，共100分。）1.命題公式（P）的合取范式是()．A.PB.PC.QD.Q)．A.P(,)B.P(,)Q()C.R(,)D.P(,)R(,))．A.5.下列公式(B.)為重言式．A.PPQB.(PQ))((P))C.(P(P))(P(P))D.(P(P))Q)為永真式．A.ABABC.ABAB7.下列等價公式成立的為()．B.9.下列等價公式成立的為)．C.不確定D.以上說法都不是06任務(wù)_00071.設(shè)個體域為整數(shù)集，則公式"x$y(x+y=0)的解釋可為(A.存在一整數(shù)x有整數(shù)y滿足x+y=0B.任一整數(shù)x對任意整數(shù)y滿足x+y=0A.(P)B.PQC.QD.Q)．B.)．)A.(P)RB.PQ)RC.P)RD.(P)R)．A.PQPQ)為重言式．B.(PQ))((P))C.x是約束變元，y都是自由變元)．1.A.PQPQ2.表達(dá)式下列公式成立的為()．)命題公式(P)Q為()．A.()(A()B())7.下列公式中()為永真式．A.ABABB.AB(AB)8.設(shè)個體域D是整數(shù)集合，則命題"x$y(x×y=y)的真值是（B.F在謂詞公式()(A()→B()C(，))B.，y都是自由變元C.x是約束變元，y都是自由變元A.存在一整數(shù)x有整數(shù)y滿足x+y=0C.重言式D.合取范式D.（PQ）D.Q)．C.（P）A.(P)))．A.()(A()→B()))(A()B())A.()2.設(shè)命題公式：C.0,1,03.設(shè)個體域為整數(shù)集，則公式"x$y(x+y=0)的解釋可為(A.存在一整數(shù)x有整數(shù)y滿足x+y=0B.任一整數(shù)x對任意整數(shù)y滿