命题公式(PúQ)®Q为()A.矛盾式B.可满足式C.重言式D.合取范式1.命题公式(PÚQ)®Q为()A.矛盾式B.可满足式C.重言式D.合取范式满分：10分2.设A（x）：x是人,B（x）：x是学生,则命题“不

Question

命题公式(PúQ)®Q为( ) A.矛盾式 B.可满足式 C.重言式 D.合取范式
1.命题公式(PÚQ)®Q为(
)A.矛盾式B.可满足式C.重言式D.合取范式 满分：10 分
2.设A（x）：x是人,B（x）：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)) 满分：10 分
3.表达式中的辖域是( )．A.P(x,y)B.P(x,y)ÚQ(z)C.R(x,y)D.P(x,y)ÙR(x,y) 满分：10 分
4.下列公式成立的为( )．A.ØPÙØQ ÛPÚQB.P®ØQ Û ØP®QC.Q®P Þ PD.ØPÙ(PÚQ)ÞQ 满分：10 分
5.下列公式中 ( )为永真式．A.ØAÙØB « ØAÚØBB.ØAÙØB « Ø(AÚB)C.ØAÙØB «AÚBD.ØAÙØB « Ø(AÙB) 满分：10 分
6.设命题公式G：,则使公式G取真值为1的P,Q,R赋值分别是 ( )．A.0,0,0B.0,0,1C.0,1,0D.1,0,0 满分：10 分
7.设个体域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))C.(A(a)ÚA(b)ÚA(c))Ú(B(a)ÚB(b)ÚB(b))D.(A(a)ÙA(b)ÙA(c))Ú(B(a)ÙB(b)ÙB(b)) 满分：10 分
8.命题公式的析取范式是( )．A.B.C.D.满分：10 分
9.谓词公式是（ ）．A.
不可满足的B.可满足的C.有效的D.蕴含式 满分：10 分
10.命题公式(PÚQ)®R的析取范式是 ( )A.Ø(PÚQ)ÚRB.(PÙQ)ÚRC.(PÚQ)ÚRD.(ØPÙØQ)ÚR 满分：10 分

Answer 1

不会