离散数学题目总结归纳

单选题（共 55 题,每题 1 分

下面哪个公式不是重言式？ （    ） A: Q→（PVQ） B: （P∧Q）→P C: ┐（P∧┐Q）∧(┐P v Q) D: P→Q<->(┐P v Q)

 

解析：重言式找出假，当P为1Q为0时，结果为假

 

令p：今天下雪了，q：路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为（     ） A: p∧┐q B: p∨┐q C: p∧q D: p→┐q

 

命题公式┐B → ┐A等价于(       ) A: ┐A∨┐B B: ┐（A∨B) C: ┐A∧┐B D: A→B

 

命题公式(┐P→Q)→(┐Q v P)中极大项的个数为（     ）。 A: 0 B: 1 C: 2 D: 3

 

全体极小项合取式为（     ）。 A: 可满足式 B: 矛盾式 C: 永真式 D: A，B，C 都有可能

 

解析：合取式1出极小项，全体极小项合取式为假，析取式为真

设p:小李努力学习，q:小李取得好成绩，命题“除非小李努力学习，否则他不能取得好成绩”的符号化形式为 (     ) A: p→q B: q→p C: ┐q→p D: ┐p→q

 

解析：题目的意思重点是想取得好成绩需要什么，而不是成绩好结果，所以应该由后往前做蕴含

┐（P∧Q）→R的主析取范式中含极小项的个数为（</