10秋离散数学书面作业7.doc

离散数学作业7 离散数学形成性考核作业本课程形成性考核作业共次，内容认真及时地完成作业字迹工整，解答题有解答过程的真值是 ． 解 答 1或T 2．设P：他生病了，Q：他出差了，R：我同意他不参加学习．则命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为 ． 答 3．含有三个命题变项P，Q，R的命题公式P(Q的主析取范式是 ． 解 答 4．设P(x)：x是人，Q(x)：x去上课，则命题“有人去上课．”为 ． 答 5．设个体域D＝{a, b},那么谓词公式消去量词后的等值式为 ． 答 6．设个体域D＝{1, 2, 3}，A(x)为“x小于3”，则谓词公式((x)A(x) 的真值为 ． 解 ((x)A(x)(A(1)(A(2)(A(3)(1(1(0(1 答 1 7．谓词命题公式((x)((A(x)(B(x))(C(y))中的变元(x)(P(x)→Q(x)(R(x，y中的约束变元． x 二、公式翻译题 1．请将语句“今天是天晴”翻译成命题公式． 解 设P：今天天晴．则语句表示为P． 2．请将语句“小王去旅游，小李也去旅游．”翻译成命题公式． 解 设P：小王去旅游，Q：小李去旅游．则语句表示为P(Q． 3．请将语句“如果明天天下雪，那么我就去滑雪”翻译成命题公式． 解 设P：明天天下雪，Q：我去滑雪．则语句表示为． 4．请将语句“他去旅游，仅当他有时间”翻译成命题公式． 解 设P：他去旅游，Q：他有时间．则语句表示为． 5．请将语句“有人不去工作”翻译成谓词公式． 解 设P(x)：x是人，Q(x)：x去工作．则语句表示为． 6．请将语句“所有人都努力工作．Q(x)：x努力工作．则语句表示为． 三、判断说明题（判断下列各题，并说明理由．） 1．命题公式的真值是1． 解 错误．是永假式（否定律）． 2．命题公式(P((P((Q)(P为永真式． 解 正确． （否定律） 3．谓词公式是永真式． 解 正确． 4．下面的推理是否正确，请给予说明． (1) ((x)A(x)(B(x) 前提引入 (2) A(y)(B(y) US (1) 解 错 因为A(x)中的x是约束变元，而B(x)中的x是自由变元，约束变元与自由变元不能混淆． 应为： (1) ((x)A(x)(B(x) 前提引入 (2) ((u)A(u)(B(x) T(1)换名规则 (3) ((u)(A(u)(B(x)) T(2)量词辖域扩张 (4) A(y)(B(x) ES(3) 四、计算题 1．求P(Q(R的析取范式、合取范式、主析取范式、主合取范式． 解 P(Q(R ((P(Q(R （析取范式、合取范式、主合取范式） (((P((Q((Q)((R((R))(((P((P)(Q((R((R))(((P((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)((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 （析取范式、合取范式、主合取范式） (M100 (m000(m001(m010(m011(m101(m110(m111 (((P((Q((R)(((P((Q(R)(((P(Q((R)(((P(Q(R) ((P((Q(R)((P(Q((R)((P(Q(R) （主析取范式） 2．求命题公式(P(Q)((R(Q)的主析取范式、主合取范式． 解 （析取范式） （(对(的分配律）