2019離散數(shù)學(xué)形成性考核作業(yè)7答案資料必考重點(數(shù)理邏輯部分)

1、★形成性考核作業(yè)★1電大電大離散數(shù)學(xué)作業(yè)離散數(shù)學(xué)作業(yè)7電大電大離散數(shù)學(xué)數(shù)理邏輯部離散數(shù)學(xué)數(shù)理邏輯部分形成性考核書面作業(yè)形成性考核書面作業(yè)本課程形成性考核書面作業(yè)共3次，內(nèi)容主要分別是集合論部分、圖論部分、數(shù)理邏輯部分的綜合練習(xí)，基本上是按照考試的題型（除單項選擇題外）安排練習(xí)題目，目的是通過綜合性書面作業(yè)，使同學(xué)自己檢驗學(xué)習(xí)成果，找出掌握的薄弱知識點，重點復(fù)習(xí)，爭取盡快掌握。本次形考書面作業(yè)是第三次作業(yè)，大家要認(rèn)真及時地完成數(shù)理邏輯部分

2、的綜合練習(xí)作業(yè)。要求：要求：將此作業(yè)用A4紙打印出來，手工書寫答題，字跡工整，解答題要有解答過程，要求2010年12月19日前完成并上交任課教師（不收電子稿）。并在07任務(wù)界面下方點擊“保存”和“交卷”按鈕，以便教師評分。一、填空題一、填空題1命題公式的真值是1()PQP??2設(shè)P：他生病了，Q：他出差了R：我同意他不參加學(xué)習(xí).則命題“如果他生病或出差了，我就同意他不參加學(xué)習(xí)”符號化的結(jié)果為P∨Q→R3含有三個命題變項P，Q，R的命題公

3、式P?Q的主析取范式是(P?Q?┐R)∨(P?Q?R)4設(shè)P(x)：x是人，Q(x)：x去上課，則命題“有人去上課”可符號化為?x(P(x)∧Q(x))5設(shè)個體域D＝ab那么謂詞公式消去量詞后的等值式為(A(a)∨A(b)))()(yyBxxA???∨(B(a)∧B(b))6設(shè)個體域D＝123，A(x)為“x大于3”，則謂詞公式(?x)A(x)的真值為07謂詞命題公式(?x)((A(x)?B(x))?C(y))中的自由變元為y8謂詞命題

4、公式(?x)(P(x)?Q(x)?R(x，y))中的約束變元為x三、公式翻譯題1請將語句“今天是天晴”翻譯成命題公式解：設(shè)P：今天是天晴則該語句符號化為P姓名：名：學(xué)號：號：得分：分：教師簽名：教師簽名：★形成性考核作業(yè)★32命題公式?P?(P??Q)?P為永真式正確可以化簡┐P∧（P→┐Q）∨P=┐P∧（┐P∨┐Q）∨P=┐P∨P=1，所以它是永真式當(dāng)然方法二是用真值表3謂詞公式是永真式))()(()(xxPyxyGxxP?????正