离散练习题.docVIP

1、设 p：天冷，q：小王穿羽绒服，将下列命题符号化 (1) 只要天冷，小王就穿羽绒服. (2) 因为天冷，所以小王穿羽绒服. (3) 若小王不穿羽绒服，则天不冷. (4) 只有天冷，小王才穿羽绒服. (5) 除非天冷，小王才穿羽绒服. (6) 除非小王穿羽绒服，否则天不冷. (7) 如果天不冷，则小王不穿羽绒服. (8) 小王穿羽绒服仅当天冷的时候. 2、写出下列公式的真值表, 并求它们的成真赋值和成假 赋值: (1) (p(q) ((r (2) (q(p) (q(p (3) ( ((p(q) (q 3、用真值表判断下面公式的类型 (1) p(r(((q(p) (2) ((p(q) (((q((p)) (r (3) (p(q) ((p(r) 4、判断下列各组公式是否等值: (1) p((q(r) 与 (p(q) (r (2) p((q(r) 与 (p(q) (r 5、求下列公式的析取范式与合取范式 (1) (p((q)((r (2) (p((q)(r 6、判断下列公式的类型: (1) (p(q)(((q((p) (2) ((p(q)(q (3) (p(q)((p 7、已知命题公式A中含3个命题变项p, q, r，并知道它的成真 赋值为001, 010, 111, 求A的主析取范式和主合取范式，及A对 应的真值函数. 8、某公司要从赵、钱、孙、李、周五名新毕业的大学生中选 派一些人出国学习. 选派必须满足以下条件： (1) 若赵去，钱也去. (2) 李、周两人中至少有一人去 (3) 钱、孙两人中去且仅去一人. (4) 孙、李两人同去或同不去. (5) 若周去，则赵、钱也去. 用等值演算法分析该公司如何选派他们出国？ 9、判断下面推理是否正确 (1) 若今天是1号，则明天是5号. 今天是1号. 所以, 明天是5号. (2) 若今天是1号，则明天是5号. 明天是5号. 所以, 今天是1号. 10、构造下面推理的证明： 若明天是星期一或星期三，我明天就有课. 若我明天有 课，今天必备课. 我今天没备课. 所以，明天不是星期一、 也不是星期三. 11、构造下面推理的证明 2是素数或合数. 若2是素数，则 是无理数. 若 是无理数，则4不是素数. 所以，如果4是素数，则2是合数. 12、前提：((p(q)(r, r(s, (s, p 结论：(q 13、判断下面推理是否正确: (1) 前提：(p(q, (q 结论：(p (2) 前提：q(r, p((r 结论：q((p 14、在系统P中构造下面推理的证明： 如果今天是周六，我们就到颐和园或圆明园玩. 如果颐和 园游人太多，就不去颐和园. 今天是周六，并且颐和园游 人太多. 所以, 我们去圆明园或动物园玩. 第二部分 1．判断下列命题是否为真 (1) ((( (2) ((( (3) (({(} (4) (({(} (5) { a, b } ( { a, b, c, {a, b, c}} (6) { a, b } ({ a, b, c, {a, b}} (7) { a, b} ( { a, b, {{a, b}}} (8) { a, b} ({ a, b, {{a,b}}} 2．设 S1={1, 2, … , 8, 9}， S2={2, 4, 6, 8} S3={1, 3, 5, 7, 9} S4={3, 4, 5} S5={3, 5} 确定在以下条件下X是否与S1,…,S5中某个集合相等？如果是，又与哪个集合相等？ （1）若 X(S5=( （2）若 X(S4但 X(S2=( （3）若 X(S1且 X ?S3 （4）若 X(S3=( （5）若 X(S3 且 X ? S1 4．证明 A(B = A(C ( A(B = A(C ( B = C 5．设A,B为集合，试确定下列各式成立的充分必要条件： (1) A(B=B (2) A(B=B(A (3) A(B=A(B (4) A(B=A