离散期中练习答案.docVIP

1.将下列命题符号化： (1) 要是明天不下雨且我有时间，那么我去步行街购物。 解：令p：明天下雨，q：我有时间，r：我去步行街购物。 （┐p∧q）→r (2) 如果小王和小张是一个组，那么这次英语竞赛一定取胜。 解：令p：小王和小张是一个组，q：这次英语竞赛一定取胜。p→q (3) 除非天下雨，否则他不乘出租车上班。 解：令p：天下雨，q：他乘出租车上班 q→p () 明天既不是晴天也不是下雨天。 解：令p：明天是晴天，q：明天是下雨天 ┐p∧┐q . 设命题公式G＝((P((Q(R))，则使公式G为真的解释有(1, 0, 0), (1, 0, 1), (1, 1, 0). 3. 通过求主析取范式判断下列命题公式是否等价： (1) G = (P∧Q)∨((P∧Q∧R) (2) H = (P∨(Q∧R))∧(Q∨((P∧R)) 解G＝(P∧Q)∨((P∧Q∧R) ＝(P∧Q∧(R)∨(P∧Q∧R)∨((P∧Q∧R) ＝m6∨m7∨m3 ＝( (3, 6, 7) H = (P∨(Q∧R))∧(Q∨((P∧R)) ＝(P∧Q)∨(Q∧R))∨((P∧Q∧R) ＝(P∧Q∧(R)∨(P∧Q∧R)∨((P∧Q∧R)∨(P∧Q∧R)∨((P∧Q∧R) ＝(P∧Q∧(R)∨((P∧Q∧R)∨(P∧Q∧R) ＝m6∨m3∨m7 . 设命题公式G = ((P→Q)∨(Q∧((P→R)), 求G的主析取范式。 G = ((P→Q)∨(Q∧((P→R)) = (((P∨Q)∨(Q∧(P∨R)) = (P∧(Q)∨(Q∧(P∨R)) = (P∧(Q)∨(Q∧P)∨(Q∧R) = (P∧(Q∧R)∨(P∧(Q∧(R)∨(P∧Q∧R)∨(P∧Q∧(R)∨(P∧Q∧R)∨((P∧Q∧R) = (P∧(Q∧R)∨(P∧(Q∧(R)∨(P∧Q∧R)∨(P∧Q∧(R)∨((P∧Q∧R) = m3∨m4∨m5∨m6∨m7 = ((3, 4, 5, 6, 7)=Π（0，1，2） 5．公式p→(q→r)在联结词全功能集{┐，∧}中等值形式之一为┐（p∧q∧┐r） 6. 构造下面推理的证明：(A∨B, (C→(B, C→D 结论：A→D 证明： (1) A 附加(2) (A∨B 前提引入 (3) B 析取三段论（1）（2） (4) (C→(B 前提引入 (5) C 拒取式（3）（4） (6) C→D 前提引入 (8) D 假言推理（5）（6） 由附加前提证明法可知，推理正确。 7、设F(x)：x 是鸟，G(x)：x 会飞翔。则命题“鸟都会飞”符号化为 设谓词的定义域为{a, b},将表达式(xR(x)→(xS(x)中量词消除，写成与之对应的命题公式是?R(b) →S(a)? S(b) 9.设一阶逻辑公式：G = ((xP(x)∨(yQ(y))→(xR(x)，把G化成前束范式.(P(x)? (Q(y))?R(z)) 10 设集合A,B，其中A＝{1,2,3}, B= {1,2}, 则A - B＝____________________; P(A) - P(B)＝ __________________________ . {3}; {{3},{1,3},{2,3},{1,2,3}}.11. 设有限集A, B，|A| = m, |B| = n, 则| |(A(B)| = _____________________________. 2m(n. 12某班有25名学生，其中14人会打篮球，12人会打排球，6人会打篮球和排球，5人会打篮球和网球，还有2人会打这三种球。而6个会打网球的人都会打另外一种球，求不会打这三种球的人数。 解 设A、B、C分别表示会打排球、网球和篮球的学生集合。则： |A|＝12，|B|＝6，|C|＝14，|A∩C|＝6，|B∩C|＝5，|A∩B∩C|＝2，|(A∪C)∩B|＝6。 因为|(A∪C)∩B|＝(A∩B)∪(B∩C)|＝|(A∩B)|＋|(B∩C)|－|A∩B∩C|＝|(A∩B)|＋5－2＝6，所以|(A∩B)|＝3。于是|A∪B∪C|＝12＋6＋14－6－5－3＋2＝20，＝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、B、C和D为任意集合，证明(A－B)×C＝(A×C)－(B×C)。 证明：因为 ，∈(A－B)×C(∈(A－B)∧∈C ((∈A∧(B)∧∈C ((∈A∧∈C∧(B)∨(∈A∧∈C∧(C) ((∈