国开网100万⁺专项题库

前提条件的有效结论是( )．

• P

• ┐P

• Q

• ┐Q

设A（x）：x是书，B（x）：x是数学书，则命题“不是所有书都是数学书”可符号化为（ ）．

• 

• 

• 

• 

• ┐("x)(A(x)→B(x))   
  

• ┐($x)(A(x)∧B(x)) 
  

• ("x)(A(x)∧B(x)) 
  

• ┐($x)(A(x)∧┐B(x))
  

下列等价公式成立的为( )．

• ┐P∧┐QP∨Q

• P→(┐Q→P)┐P→(P→Q)

• Q→(P∨Q)┐Q∧(P∨Q)

• ┐P∨(P∧Q)Q

• ┐P∧P┐Q∧Q

• ┐Q→PP→Q

• P∧QP∨Q

• ┐P∨PQ

下列公式中 ( )为永真式．

• ┐A∧┐B ↔ ┐A∨┐B

• ┐A∧┐B ↔ ┐(A∨B)

• ┐A∧┐B ↔A∨B

• ┐A∧┐B ↔ ┐(A∧B)

命题公式┐(P→Q)的主析取范式是P∨┐Q．( )

• 对
• 错

设P(x)：x是人，Q(x)：x去上课，那么命题“有人去上课．”为(∃x)(P(x)→Q(x))．( )

• 对
• 错

设P：小王来学校， Q：他会参加比赛．那么命题“如果小王来学校，则他会参加比赛”符号化的结果为P→Q．( )

• 对
• 错

命题公式┐P∧(P∨Q)Q成立． ( )

• 对
• 错

谓词公式┐(∀x)P(x)(∃x)┐P(x)成立．( )

• 对
• 错

设个体域D＝{a, b},那么谓词公式(∃x)A(x)∨(∀y)B(y)消去量词后的等值式为A(a)∨B(b)．( )

• 对
• 错