[2017年整理]电大_离散数学作业7答案.docVIP

离散数学作业7 离散数学形成性考核作业 本课程形成性考核作业共次，内容认真及时地完成作业字迹工整，解答题有解答过程 1．命题公式的真值是　1或T 　． 2．设P：他生病了，Q：他出差了．R：我同意他不参加学习. 则命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为 （PQ）R ． 3．含有三个命题变项P，Q，R的命题公式P?Q的主析取范式是 (PQR)(PQR) ． 4．设P(x)：x是人，Q(x)：x去上课，则命题“有人去上课．” 可符号化为 x(P(x) Q(x)) ． 5．设个体域D＝{a, b},那么谓词公式消去量词后的等值式为 (A(a) A(b)) ((B(a) B(b)) ． 6．设个体域D＝{1, 2, 3}，A(x)为“x大于3”，则谓词公式(?x)A(x) 的真值为 0(F) ． 7．谓词命题公式(?x)((A(x)?B(x)) ?C(y))中的变元?x)(P(x) ?Q(x) ?R(x，y中的约束变元． 1．请将语句“今天是天晴”翻译成命题公式． 设P：今天是晴天。 则P 2．请将语句“小王去旅游，小李也去旅游．”翻译成命题公式． 设P：小王去旅游。 Q：小李去旅游。 则P?Q 3．请将语句“如果明天天下雪，那么我就去滑雪”翻译成命题公式． 设P：明天下雪。 Q：我去滑雪。 则PQ 4．请将语句“他去旅游，仅当他有时间．”翻译成命题公式． 设P：他去旅游。 Q：他有时间。 则PQ 5．请将语句 “有人不去工作”翻译成谓词公式． 设 A（x）：x是人 B（x）：去工作 x(A(x) B(x)) 6．请将语句“所有人都努力工作．x(A(x) B(x)) 四、判断说明题（判断下列各题，并说明理由．） 1．命题公式?P?P的真值是1． 答：错。因为P和P的否不能同时为真。 2．命题公式?P?(P??Q)?P为永真式． 答：对。P?（P?Q）?PP?P1 3．谓词公式是永真式． 答：对。它同P（QP）是等价形式P（QP）P?（Q?P） P?Q?P1?Q 4．下面的推理是否正确，请给予说明． (1) (?x)A(x)? B(x) 前提引入 (2) A(y) ?B(y) US (1) 答：对。 四．计算题 1． 求P?Q?R的析取范式，合取范式、主析取范式，主合取范式． P?Q?RP?Q?R （析取范式） （P?Q?R） （合取范式） 真值表： P Q R P 原式 极小项 及大项 0 0 0 1 1 PPP 0 0 1 1 1 PQR 0 1 0 1 1 PQR 0 1 1 1 1 PQR 1 0 0 0 0 P?Q?R 1 0 1 0 1 PQR 1 1 0 0 1 PQR 1 1 1 0 1 PQR 主析取范式（PPP）?（PQR）?（PQR）?（PQR）?（PQR）?（PQR）?（PQR） 主合取范式（P?Q?R） 2．求命题公式(P?Q)?(R?Q) 的主析取范式、主合取范式． 真值表： P Q R （P?Q） R?Q 原式 极小项 及大项 0 0 0 1 0 1 PPP 0 0 1 1 1 1 PQR 0 1 0 0 1 1 PQR 0 1 1 0 1 1 PQR 1 0 0 0 0 0 P?Q?R 1 0 1 0 1 1 PQR 1 1 0 0 1 1 PQR 1 1 1 0 1 1 PQR 主析取范式（PPP）?（PQR）?（PQR）?（PQR）?（PQR）?（PQR）?（PQR） 主合取范式（P?Q?R） 3．设谓词公式． （1）试写出量词的辖域； （2）指出该公式的自由变元和约束变元． 答：（1）x的辖域为P（x,y）zQ(x,y,z) z的辖域为Q(x,y,z) y的辖域为R(y,z) (2) 约束变元为 P（x,y）zQ(x,y,z)中的x Q(x,y,z) 中的 z R(y,z) 中的y 自由变元为 P（x,y）zQ(x,y,z)中的y R(y,z)中的z