离散期中练习答案.docxVIP

将下列命题符号化： 要是明天不下雨且我有时间，那么我去步行街购物。 解：令p：明天下雨，q：我有时间，r :我去步行街购物。 (n pA q)f r 如果小王和小张是一个组，那么这次英语竞赛一定取胜。 解：令p：小王和小张是一个组，q：这次英语竞赛一定取胜。 p—q 除非天下雨，否则他不乘出租车上班。 解：令p：天下雨，q：他乘出租车上班 q— p 明天既不是晴天也不是下雨天。 解：令p：明天是晴天，q：明天是下雨天 n pAn q 设命题公式G= (P (Q R))，则使公式G为真的解释有 (1,0, 0), (1,0,1), (1,1, 0). 通过求主析取范式判断下列命题公式是否等价： G = (P A Q)V( PA QA R) H = (P V (QA R)) A (QV( PA R)) 解：G = (P A Q)V( PA QA R) =(P A QA R)V (P A QA R)V( PA QA R) =n6 Vm7Vm3 二(3, 6, 7) H = (P V (QA R)) A (QV( PA R)) =(P A Q)V (QA R)) V( PA QA R) =(PA QA R)V (P A QA R)V( PA QA R)V (P A QA R)V( PA QA R) =(P A QA R)V( PA QA R)V (P A QA R) =m6 Vm3 Vm7 设命题公式G = (P—Q)V (QA( P— R)),求G的主析取范式。 G = (P—Q)V(QA( P—R)) = (PV Q)V (QA (P V R)) =(P A Q)V (QA (P V R)) =(P A Q)V (QA P) V (QA R) (P A QA R)V (P A QA R)V (P A QA R)V (P A QA R)V (P A QA R)V( PA Q R) =(P A QA R)V (P A QA R)V (P A QA R)V (P A QA R)V( PA QA R) =m3 Vm4Vm5 VimVm7 = (3, 4, 5, 6, 7)= n(0, 1, 2) 5.公式p^(q tr)在联结词全功能集{n,A }中等值形式之一为 n(pA qAn r) 6.构造下面推理的证明: 前提:AV B,C 前提: AV B, CT B, C td 结论: ATD 证明: (1) A附加前提引入AVB (1) A 附加前提引入 AVB 前提引入 Ct析取三段论(1)(2 Ct 前提引入 拒取式(3) (4) ⑹C ⑹CTD 前提引入 (8) D (8) D 假言推理(5) (6) 由附加前提证明法可知，推理正确。 7、设F(x) : x是鸟，G(x) : x会飞翔。则命题“鸟都会飞”符号化为 x(F(x)-G(x)) 8设谓词的定义域为{a, b},将表达式 xR(x) t xS(x)中量词消除，写成与之 对应的命题公式是 R(a) ? R(b) tS(a)? S(b) 9.设一阶逻辑公式：G= ( xP(x) V yQ(y)) T xR(x)，把G化成前束范式. x y z(( P(x) ? Q(y)) ? R(z)) 10 设集合 A,B,其中 A= {1,2,3}, B={1,2}, 则 A - B= P(A) - P(B) ⑶；{{3},{1,3},{2,3},{1,2,3}}. 11.设有限集 A, B , |A| = m, |B| = n, 则 | |P(A B)| = 2.2 2. 2m n 12某班有25名学生，其中14人会打篮球，12人会打排球，6人会打篮球和排球，5人会打 篮球和网球，还有2人会打这三种球。 而6个会打网球的人都会打另外一种球， 求不会打这 三种球的人数。 解设A、B、C分别表示会打排球、网球和篮球的学生集合。则： | A| = 12 , |B| = 6, |C = 14, |AA C = 6, | BA C = 5, | AA BA C = 2, |( AU C) n B| = 6。 因为 |( au C) n B| = (An B) u(BnQ| =|( An b)| +1( Bn c)| -1 An baq = |( AnB)| + 5-2 = 6,所以 |( AA B)| = 3。于是 | AU BU C| = 12+ 6 + 14-6 — 5-3+ 2= 20, |A B C | = 25- 20= 5。故，不会打这三种球的共 5人。 13.设集合A= {2, 3, 4, 5, 6} , R是A上的整除，则R以集合形式(列举法) 记为 {(2, 2),(2, 4),(2, 6),(3, 3),(3, 6),(4, 4),(5, 5),(6, 6)}. 14 设 A、