离散数学试题库完整..docVIP

word文档可编辑——欢迎下载 word文档可编辑——欢迎下载 word文档可编辑——欢迎下载 试题总汇 数理逻辑部分 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第四。 比赛结束后发现甲、乙、丙每人报告的情况都是给对一