专业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）李平不但聪明，而且用功
专业word可编辑
（7）小王是游泳冠军或者百米赛跑冠军（8）小王现在在宿舍或者在图书馆（9）选小王或者小李中的一人当班长（10）如果我上街，我就去书店看看，除非我很累（11）如果明天天气好，我们去郊游
否则，不去郊游（12）你爱我，我就嫁给你3、判断下列命题公式是否等值（1）（p∨q）与p∨q（2）（p∨q）与p∧q4、验证下列等值式（1）p→（q→r）（p∧q）→r（2）p（p∧q）∨（p∧q）5、用等值演算法解决下面问题：A、B、C、D4人百米竞赛
观众甲、乙、丙预报比赛的名次为，（1）甲：C第一，B第二
（2）乙：C第二，D第三
（3）丙：A第二，D第四
比赛结束后发现甲、乙、丙每人报告的情况都是给对一半
试问，实际名次如何
6、求下面命题公式的主析取范式和主合取范式（1）（（p∨q）→r）→p7、利用真值表求主析取范式和主合取范式（1）（p∧q）∨r8、逻辑推理证明（1）前提：p→r，q→s，p∨q
结论：r∨s
专业word可编辑
（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
结论：q9、给定语句如下：（1）15是素数（2）10能被2整除，3是偶数（3）你下午有会吗
（4）2x+3>0（
