离散数学题库(共18页).doc

精选优质文档-倾情为你奉上试题总汇数理逻辑部分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）（pq）与pq（2）（pq）与pq4、验证下列等值式（1）p（qr）（ pq）r（2）p（ pq）（pq）5、用等值