离散数学数理逻辑复习题6页.docx

数理逻辑复习题1. 将下列命题符号化(1)刘晓月跑得快，跳得高。pq，其中，p：刘晓月跑得快，q：刘晓月跳得高。(2)老王是山东人或河北人。pq，其中，p：老王是山东人，q：老王是河北人。(3)因为天气冷，所以我穿了羽绒服。pq，其中，p：天气冷，q：我穿了羽绒服。(4)王欢与李乐组成一个小组。p，其中，p：王欢与李乐组成一个小组，是简单命题。(5)如果天下大雨，他就乘班车上班。pq，其中，p：天下大雨，q：他乘班车上班。(6)只有天下大雨，他才乘班车上班。pq，其中，p：他乘班车上班，q：天下大雨。(7)除非天下大雨，他才乘班车上班。pq，其中，p：他乘班车上班，q：天下大雨。2. 判断下列公式的类型：（1）p(pqr)（2）(pq)q（3）(qr)r（4）(pq)(qp)（5）(pr)(pq)（6）(pq)(qr)(pr)（7）(pq)(rs)答案： (1)、(4)、(6)为重言式。(3)为矛盾式。 (2)、(