第一章命题逻辑的基本概念
一、单项选择题
1．下列语句中不是命题的有（）
A9512B135C我用的电脑CPU主频是1G吗D我要努力学习。
2下列语句是真命题为．
A125当且仅当2是偶数
B如果123，则2是奇数
C如果125，则2是奇数
D你上网了吗
3设命题公式pqr则使公式取真值为1的p，q，r赋值分别是

A000B001C010D100
4命题公式pqq为
A矛盾式B仅可满足式C重言式D合取范式5设p我将去市里q：我有时间．命题“我将去市里，仅当我有时间时”符号化为为
AqpBpqCpqDpq
6．设P：我听课Q：我看小说“我不能一边听课，一边看小说”的符号为（）
APQ；BPQ；CQP；DPQ
二、判断下列语句是否是命题，若是命题是复合命题则请将其符号化
（1）中国有四大发明。（2）2是有理数。（3）“请进！”（4）刘红和魏新是同学。（5）ab（6）如果买不到飞机票，我哪儿也不去。（8）侈而惰者贫，而力而俭者富。（韩非：《韩非子显学》）（9）火星上有生命。（10）这朵玫瑰花多美丽啊！二、将下列命题符号化，其中p21q32（1）只要21，就有32。（2）如果21，则32。（3）只有21，才有32。（4）除非21，才有32。（5）除非21，否则32。（6）21仅当32。
f三、将下列命题符号化1小丽只能从筐里拿一个苹果或一个梨。2王栋生于1992年或1993年。
四、设p、q的真值为0；r、s的真值为1，求下列各命题公式的真值。（1）p∨q∧r（2）（pr）∧q∨s（3）（p∧q∧r）p∧q∧r4（r∧s）→p∧q
五、用真值表判断下列公式的类型：1p∧p→q∧p→q2p∧rp∧q2p→q∧q→r→p→r
f第二章命题逻辑等值演算
一、填空
（1）给定两个命题公式A，B，若
，则称A和B时等
值的，记作AB．
（
2
）
德
摩
根
律
为：
。
（
3
）
蕴
涵
等
值
式
为
。
（4）由已知的等值式推演出另外一些等值式的过程称
为
。
二、用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用
真值表法求出成真赋值
1p∧q→q
2p→p∨q∨p→r
3p∨q→p∧r
f三、用等值演算法证明下面等值式1p→q∧p→rp→q∧r2p∧q∨p∧qp∨q∧p∧q
三、用等值演算求下列公式的析取范式与合取范式。1p→q→q∨p2p→q∧q∧r3p∨q∧r→p∨q∨r
f第三章命题逻辑的推理理论
一、填空
1数理逻辑的的主要任务是
推理是指
提是
是
。
2推理正确是指：
。
，前r