《离散数学》任务3(数理逻辑部分概念与性质)选择题判断题

第三部分数理逻辑选择题判断题注意：选项ABCD顺序会出现变动！根据选项确定答案！()．A.B.C.D.1()．A.B.C.D.2.设命题公式G：G1赋值分别是(1,0,0)2.设命题公式G：G1赋值分别是(1,0,0)D.1,0,0下列公式中(AB(AB) )为永真式A.ABAB B.AB(AB)C.ABAB D.AB(AB)(P(Q(P(QP))(P(PQ))C.(P(QP))(P(PQ))A.PQPQ B.C.(P(QP))(P(PQ))D.(P(PQ))QPPPPQQA.PPQQB.QPPQ C.PQPQ A.PPQQP(P(QP)P(PQ))B.P(QP)P(PQ)PQPQC.Q(PQ)Q(PQ) D.P(PQ)QP(P(PQ)Q8.命题公式的析取范式是()．A.B.C.D.A.PQPQ B.PQPQ C.P D.P8.命题公式的析取范式是()．A.B.C.D.9. (PQ)R的析取范式是( (PQ)R)A.(PQ)R B.(PQ)RC.(PQ)RD.(PQ)R（PQ）)．C.（P（PQ）)．C.（PQ）A.（PQ） B.（PQ）（PQ）

D.（PQ）11.PQ的主合取范式是(PQ)．A.(PQ)PQPQ）B.PQC.PQD.PQ命题公(PQ)Q为( 可满足式)A.矛盾式 B.可满足式 C.重言式D.合取范式x是约束变元，y都是自由变元13. 在谓词公x是约束变元，y都是自由变元C.x是约束变元，y都是自由变元A.x，y都是约束变元 B.xC.x是约束变元，y都是自由变元D.x是自由变元，y都是约束变元14.表达式中的辖域是(P(x,y)Q(z14.表达式中的辖域是P(x,y) B.P(x,y)Q(z) C.R(x,y) D.P(x,y)R(x,y)（( x)(A(x)B(x))）（( x)(A(x)B(x))）A.( x)(A(x)B(x))B.(A.( x)(A(x)B(x))B.(x)(A(x)B(x))C.(x)(A(x)B(x)) D.( x)(A(x)B(x))((x)(A(x)B(x))A.( x)(A(x)B(x))B.( x)(A(x)B(x))C.(x)(A(x)B(x))D.( C.(x)(A(x)B(x))D.( x)(A(x)B(x))健壮的”可符号化为()．A.B.C.D.18.D={a,b,c}，那么谓词公式消去量词后的等值式为（(A(a)A(b)A(c))(B(a)C.D.18.D={a,b,c}，那么谓词公式消去量词后的等值式为A.(A(a)A(b)A(c))(B(a)B(b)B(b)) B.(A(a)A(b)A(c))(B(a)B(b)B(b))谓词公式 是（不可满足的）A.不可满足的B.可满足的C.有效的D.蕴含式20、前提条件A.P B.P的有效结论( QC.Q D.Q)．C.(A(a)A(b)A(c))(B(a)B(b)B(b)) 谓词公式 是（不可满足的）A.不可满足的B.可满足的C.有效的D.蕴含式20、前提条件A.P B.P的有效结论( QC.Q D.Q)．设A（x）：x是人，B（x）：x是教师，则命题“有人是教师”可符号化为(ョ(ョx)(A(x)∧B(x))D.(ョx)(A(x)∧B(x))A.¬(ョx)(A(x)∧¬B(x)) C.¬(D.(ョx)(A(x)∧B(x))TA.T设个体域D是整数集合，则命ョy(x•y=的真值是（ ）．TA.TB.F C.不确定 D.以上说法都不是(对任一整数x存在整数y满足∀x(对任一整数x存在整数y满足x+y=0)x+y=0)．A.对任一整数x存在整数y满足x+y=0存在一整数x有整数yx+y=0存在一整数x对任意整数yx+y=0任一整数x对任意整数yx+y=0设是数学书，则命题“不是所有书都是数学书”可符号化(x(x)(A(x)B(x))A.( x)(A(x)B(x))B.( x)(A(x)B(x))C.(x)(A(x)B(x))D.( x)(A(x)B(x))二、判断题二、判断题Q成立( 对)设个体域D＝{1,2,3,为“x大于5”，则谓词公(∀x)A(x)的真值为T．( 错( 对)( 对)设PP∧( 对)含有三个命题变项P，Q，R的命题公式P∧Q(P∧Q∧R)∨(P∧Q∧┐R)( 对)( 对)( 对)( 对)设是人去上课那么命“有人去上课为错)下面的推理是否正确．( 错)(∀x)A(x)→( 错)(2)US(1)设个体域D＝{1,2,3}，A(x)为“x小于3”，则谓词公(∃x)A(x)的真值为T．( 对)设个体域D＝{a,(∃x)A(x)∨(∀y)B(y)消去量词后的等值式为A(a)∨B(b)．( ( 错)( 错) P222点或者去礼堂看电影或者去教室看书”符号化的结果为P∨( 错)( 对)(∀x)(P(x)→Q(x)∨R(x，y))中的约束变元为( 对)( 对)设个体域D＝{a,b}(∀x)(A(x)∧B(x))(A(a)∧B(a))∧(A(b)∧( 对)( 错)(∀x)((A(x)∧B(x))∨C(y))中的自由变元为( 错)( 错)设P(x)：x是人，Q(x)：x((