离散数学题库.pdfVIP

试题总汇 数理逻辑部分 1、判断下列句子中哪些是命题 （1）2 是素数 （2）血是黑色的 （3）2+3=5 （4）明年 10 月 1 日是晴天 （5）3 能被 2 整除 （6）这朵花多好看呀！ （7）明天下午有会吗？ （8）请关上门 ！ （9）X + y 5 （10）地球外的星球上也有人 2、将下列命题符号化 （1）3 不是偶数 （2）2 是素数和偶数 （3）李芳学过英语或日语 （4）如果角 A 和角 B 是对顶角，则角 A 等于角 B （5）李平虽然聪明，但不用功 （6）李平不但聪明，而且用功 （7）小王是游泳冠军或者百米赛跑冠军 （8）小王现在在宿舍或者在 图书馆 （9）选小王或者小李中的一人当班长 （10）如果我上街，我就去书店看看，除非我很累 （11）如果明天天气好，我们去郊游。否则，不去郊游 （12）你爱我，我就嫁给你 3、判断下列命题公式是否等 （1） （p∨q）与 p∨  q （2） （p∨q）与 p∧  q 4、验证下列等 式 （1）p→ （q→r） （ p∧q）→r （2）p  （ p∧q）∨ （p∧  q） 5、用等 演算法解决下面 问题： A 、B、C、D 4 人百米竞赛。观众甲、乙、丙预报比赛的名次为， （1）甲：C 第一，B 第二。（2）乙：C 第二，D 第三。（3）丙：A 第二，D 第四。 比赛结束后发现甲、乙、丙每人报告的情况都是给对一半。试问， 实际名次如何？ 6、求下面命题公式的主析取范式和主合取范式 （1）（（p∨q）→r）→p 7、利用真 表求主析取范式和主合取范式 （1）（p∧q）∨r 8、逻辑推理证明 （1）前提：p→r ，q→s，p∨q。结论：r∨s。 （2）前提：p∨q，p→  r ，s→t ， s→r ， t 。结论：q （3）前提：p→ （q→r）， s→p ，q。结论：s→r 。 （4）前提：p→ （ （r∧s）→  q），p ， s。结论： q 9、给定语句如下： （1）15 是素数 （2）10 能被 2 整除，3 是偶数 （3）你下午有会吗？ （4）2x+3 0 （5）2 是素数或是合数 （6）这个男孩真勇敢呀！ （7）如果 2+2=6，则 5 是奇数 （8）只有 4 是偶数，3 才能被 2 整除 （9）明年 5 月 1 日是晴天 （10）圆的面积等于半径的平方与 的乘积 以上 10 个语句中，是简单命题的为 A ，是复合命题的为 B，是真 命题的为 C，是假命题的为 D，真 待定（真 客观存在，只是现在不 知道）的命题为 E。 A ：① （1）、（4）、（8）② （4）、（6）、（9）、（10）③ （1）、（9）、（10） B ：① （3）、（10）② （2）、（5）、（7）、（8）③ （7）、（8） C ：① （2）、（5）、（9）、（10）② （7）、（8）、（10）③ （2）、（9）、（10）④ （5）、（7）、（8）、（10） D ：① （1）、（2）、（8）② （1）、（2）③ （1）、（5） E ：① （4）、（9）② （9）③ （7）、（8） 10、判断公式类型 （1）（p∧q）→ （p∨q） （2）（p  q） （（p→q）∧ （q→p）） （3） （p→q）∧q （4）（p∧  p） q （5）p→ （p∨q） （6）（p∨  p）→ （（q∧  q）∧r） （7）（（p→q）→p） p （8）（p∧q）∨ （p∧  q） （9） （p∨q ∨r） （ p ∧  q∧  r） （10）（p∧q）∧r 11、给定命题公式如下：（ p→q）→ （p∨  q） 该命题公式的主析取范式中含极小项的个数