2016年秋国家开放大学《离散数学》形考6试题及答案(答案全部正确)

)．B.A.存在一整数x有整数y满足x+y=0C.对任一整数x存在整数y满足x+y=0B.任一整数x对任意整数y满足x+y=0D.存在一整数x对任意整数y满足x+y=0)．A.PQPQC.PPA.ABAB)命题公式（P）的合取范式是()．)．A.(P)B.PQA.存在一整数x有整数y满足x+y=0B.任一整数x对任意整数y满足x+y=0C.对任一整数x存在整数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.存在一整数x有整数y满足x+y=0C.对任一整数x存在整数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())设个体域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都是约束变元设个体域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.设个体域D是整数集合，则命题"x$y(x×y=y)的真值是（C.不确定D.以上说法都不是的析取范式是()．C.B.)．B.C.5.设个体域为整数集，则公式"x$y(x+y=0)的解释可为(A.存在一整数x有整数y满足x+y=0))为永真式．A.ABABC.ABAB10.下列等价公式成立的为(B.PPQC.PPQ06任务_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任务_00071.设个体域为整数集，则公式"x$y(x+y=0)的解释可为(A.存在一整数x有整数y满足x+y=0B.任一整数x对任意整数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.表达式下列公式成立的为()．)命题公式(P)Q为()．A.()(A()B())7.下列公式中()为永真式．A.ABABB.AB(AB)8.设个体域D是整数集合，则命题"x$y(x×y=y)的真值是（B.F在谓词公式()(A()→B()C(，))B.，y都是自由变元C.x是约束变元，y都是自由变元A.存在一整数x有整数y满足x+y=0C.重言式D.合取范式D.（PQ）D.Q)．C.（P）A.(P)))．A.()(A()→B()))(A()B())A.()2.设命题公式：C.0,1,03.设个体域为整数集，则公式"x$y(x+y=0)的解释可为(A.存在一整数x有整数y满足x+y=0B.任一整数x对任意整数y满