资源描述：
《离散数学形成性考核作业9答案》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、★形成性考核作业★姓名：学号：得分：教师签名：离散数学作业9离散数学数理逻辑部分形成性考核书面作业本课程形成性考核书面作业共3次，内容主要分别是图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。本次形考书面作业是第三次作业，大家要认真及时地完成数理逻辑部分的综合练习作业。要求：将此作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，完成并上交任课教师（不收电子稿）。并在09任务界面下方点击“保存”和“交卷”按钮，以便教师评
2、分。一、单项选择题1．设P：我将去市里，Q：我有时间．命题“我将去市里，仅当我有时间时”符号化为(B)．A．B．C．D．2．设命题公式G：，则使公式G取真值为1的P，Q，R赋值分别是(D)．A．0,0,0B．0,0,1C．0,1,0D．1,0,03．下列命题公式成立的为(C)．A．ØPÙØQÛPÚQB．ØB®AÛA®BC．P®QÞQD．ØAÙ(AÚB)ÞB4．下列公式(C)为重言式．A．PÙQ«ØPÚQB．(B®(AÚB))«(ØAÙ(AÚB))C．Ø(PÚQ)«ØPÙØQD．AÙØB«AÚB5．命题公式的析取范式是(A)．A．BC．D．6．设C(x
3、)：x是国家级运动员，G(x)：x是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为(D)．A．B．C．D．7．表达式中的辖域是(B)．A．P(x,y)B．P(x,y)ÚQ(z)C．R(x,y)D．P(x,y)ÙR(x,y)6★形成性考核作业★8．谓词公式的类型是(A)．A．永真式B．永假式C．非永真的可满足式D．蕴含式二、填空题1．命题公式的真值是 1 ．2．设P：他生病了，Q：他出差了．R：我同意他不参加学习.则命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为(P∨Q)→R．3．设A，B为任意命题公式，C为重言式，若，那么
4、是言重式式(重言式、矛盾式或可满足式)．4．含有三个命题变项P，Q，R的命题公式PÙQ的主析取范式是（P∧Q∧R）∧（P∧Q∧¬R）．5．设P(x)：x是人，Q(x)：x去上课，则命题“有人去上课．”为(χ)(PCχ)→Q(χ))．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)的真值为．8．谓词命题公式("x)(P(x)→Q(x)∨R(x，y))中的约束变元为χ．三、公式翻译题1．请将语句“今天是天晴”翻
5、译成命题公式．解:设P:今天晴天则命题公式为P2．请将语句“如果明天天下雪，我就去市里”翻译成命题公式．解:设P:天下雨.Q我明天去市里.则命题公式为P→Q3．请将语句“除非你去，否则我不去”翻译成命题公式．6★形成性考核作业★解:设P:你去.Q我去.则命题公式为﹁P→﹁Q或Q→P4．请将语句“我去书店，仅当天不下雨”翻译成命题公式．解:设P:我去书店.Q天不下雨则命题公式为P→Q5．请将语句“有人不去工作”翻译成谓词公式．解:设P(χ):χ是人.Q(χ):χ去工作.则谓词公式为(χ)(P(χ)∧¬Q(χ))6．请将语句“所有人都努力工作．”翻译成谓
6、词公式．解:设P(χ):χ是人.Q(χ):χ努力工作.则谓词公式为(χ)(P(χ)→Q(χ))四、判断说明题（判断下列各题，并说明理由．）1．命题公式┐P∧P的真值是1．2．命题公式┐P∧（P→┐Q）∨P为永真式．答：正确┐P∧（P→┐Q）∨P是由┐P∧（P→┐Q）与P组成的析取式如果P的值为真，则┐P∧（P→┐Q）∨P为真6★形成性考核作业★如果P的值为假，则┐P与P→┐Q为真，即┐P∧（P→┐Q）为真也即┐P∧（P→┐Q）∨P为真。所以┐P∧（P→┐Q）∨P是永真式3．谓词公式是永真式．解4．下面的推理是否正确，请给予说明．(1)("x)A(x)
7、ÙB(x)前提引入(2)A(y)ÙB(y)US(1)答：错正确的应是：┐A（y）∨B(z)，因为约束变元与自由变元不能混淆。五．计算题1．求命题公式的主析取范式、主合取范式．解：（1）(主析取范式)(主合取范式)6★形成性考核作业★2．求命题公式(PÚØQ)®(RÙQ)的主析取范式、主合取范式．解：（析取、合取、主合取范式）Û(┐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)
8、∨(P∧Q∧R)（主析取范式）3．设谓词公式．（1）试写出量词的辖域；（2）指出该公式的自由变元和约束变元．
