（荐）2015年电大《离散数学》任务9答案-电大期末考试必备小抄.docVIP

离散数学作业9 离散数学形成性考核作业 本课程形成性考核作业共次，内容认真及时地完成作业字迹工整，解答题有解答过程 B． C． D． 2．设命题公式G：，则使公式G取真值为1的P，Q，R赋值分别是 ( D )． A．B．C．D．( D )． A．(P((Q(P(Q B．(B(A ( A(B C．( Q (Q D．(A((B) (B 4．下列公式 ( 没答案 )为重言式． A．P(Q ((P(Q B．(B((A(B)) (((A((A(B)) C．((Q)((P((Q D．((B(A(B 5．命题公式的析取范式是( A )． A．B C．D．D )． A． B． C．D．中的辖域是( B )．．．．．的类型是( A )．B．永假式 C．非永真的可满足式 D．蕴含式 二、填空题 1．命题公式的真值是　 1 　． 2．设P：他生病了，Q：他出差了．R：我同意他不参加学习. 则命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为 （P∨Q）→R ． 3．设A，B为任意命题公式，C为重言式，若，那么是 重言 式(重言式、矛盾式或可满足式) ． 4．含有三个命题变项P，Q，R的命题公式P(Q的主析取范式是 （P(Q( ┐R）(（P(Q(R） ． 5．设P(x)：x是人，Q(x)：x去上课，则命题“有人去上课．”为 ((x)（P(x) ( Q(x)） ． 6．设个体域D＝{a, b},那么谓词公式消去量词后的等值式为 （A(a ) ( A(b)）(（B(a ) ( B(b)） ． 7．设个体域D＝{1, 2, 3, 4}，A(x)为“x小于3”，则谓词公式((x)A(x) 的真值为 1 ． 8．谓词命题公式((x)(P(x)→Q(x)∨R(x，y中的约束变元x ． 1．请将语句“今天是天晴”翻译成命题公式． 解：设命题P表示“今天是天晴”。 则原语句可以表示成命题公式：P。 2．请将语句“如果明天天下雪，我就去市里”翻译成命题公式． 解：设命题P表示“明天天下雪”，命题Q表示“我就去市里”。 则原语句可以表示成命题公式：P→Q。 3．请将语句“除非你去，否则我不去”翻译成命题公式． 解：设命题P表示“你去”，命题Q表示“我去”。 则原语句可以表示成命题公式：┐P→┐Q。 4．请将语句“我去书店，仅当天不下雨”翻译成命题公式． 解：设命题P表示“我去书店”，命题Q表示“当天下雨”。 则原语句可以表示成命题公式：P→┐Q。 5．请将语句 “有人不去工作”翻译成谓词公式． 解：设P(x)：x是人，Q(x)：x去工作，则命题“有人不去工作．”为 ((x)（P(x) (┐ Q(x)）。 6．请将语句“所有人都努力工作．努力人都努力工作．((x)（P(x) → Q(x)）。 四、判断说明题（判断下列各题，并说明理由．） 1．命题公式┐P∧P的真值是1． 解：错误。命题公式┐P∧P是典型的恒假公式，其真值是0。 2．命题公式┐P∧（P→┐Q）∨P为永真式． 解：正确。推演过程如下： ┐P∧（P→┐Q）∨P =┐P∧（┐P∨┐Q）∨P =（┐P∧┐P）∨（┐P∧┐Q）∨P =┐P∨（┐P∧┐Q）∨P =（┐P∨P）∨（┐P∧┐Q） =1∨（┐P∧┐Q） =1 3．谓词公式是永真式． 解：正确。 =(xP(x) →（┐(y G(x,y) ∨(xP(x)） =┐(xP(x) ∨（┐(y G(x,y) ∨(xP(x)） =(┐(xP(x) ∨(xP(x)）∨（┐(y G(x,y) =1∨（┐(y G(x,y) =1 4．下面的推理是否正确，请给予说明． (1) ((x)A(x) ( B(x) 前提引入 (2) A(y) (B(y) US (1) 解：错误。因为B(x)不受全称量词(x的约束，不能使用全称指定规则。 五．计算题 1．求命题公式的主析取范式、主合取范式． 解：先将命题公式简化： =