2018電大離散數(shù)學(xué)網(wǎng)絡(luò)課程形成性考核第6次形考任務(wù)

1、姓 名： 學(xué) 號： 得 分： 教師簽名： 離散數(shù)學(xué)作業(yè)6離散數(shù)學(xué)數(shù)理邏輯部分形成性考核書面作業(yè)本課程形成性考核書面作業(yè)共3次，內(nèi)容主要分別是集合論部分、圖論部分、數(shù)理邏輯部分的綜合練習(xí)，基本上是按照考試的題型（除單項選擇題外）安排練習(xí)題目，目的是通過綜合性書面作業(yè)，使同學(xué)自己檢驗學(xué)習(xí)成果，找出掌握的薄弱知識點，重點復(fù)習(xí)，爭取盡快掌握本次形考書面作業(yè)是第三次作業(yè)，大家要認(rèn)真及時地完成數(shù)理邏輯部分的綜合練習(xí)作業(yè)要求：學(xué)生提交作業(yè)有以下三種方式可供選擇：1. 可將此次作業(yè)用A4紙打印出來，手工書寫答題，字跡工整，解答題要有解答過程，完成作業(yè)后交給輔導(dǎo)教師批閱2. 在線提交word文檔3. 自備答題紙

2、張，將答題過程手工書寫，并拍照上傳一、填空題1命題公式的真值是 1 2設(shè)P：他生病了，Q：他出差了R：我同意他不參加學(xué)習(xí). 則命題“如果他生病或出差了，我就同意他不參加學(xué)習(xí)”符號化的結(jié)果為 PQR 3含有三個命題變項P，Q，R的命題公式PÙQ的主析取范式是 (PÙQÙR) (PÙQÙR) 4設(shè)P(x)：x是人，Q(x)：x去上課，則命題“有人去上課” 可符號化為 x ( P ( x) Q ( x) 5設(shè)個體域Da, b,那么謂詞公式消去量詞后的等值式為 (A(a) A(b) (B(a) B(b) 6設(shè)個體域D1, 2, 3，A(x)為“x大于3

3、”，則謂詞公式($x)A(x) 的真值為 0 7謂詞命題公式("x)(A(x)ÙB(x) ÚC(y)中的自由變元為 y 8謂詞命題公式("x)(P(x) ®Q(x) ÚR(x，y)中的約束變元為 x 三、公式翻譯題 1請將語句“今天是天晴”翻譯成命題公式解：設(shè)P：今天是天晴則該語句符號化為 P 2請將語句“小王去旅游，小李也去旅游”翻譯成命題公式 設(shè)P：小王去旅游，Q：小李也去旅游則該語句符號化為 PQ 3請將語句“如果明天天下雪，那么我就去滑雪”翻譯成命題公式解：設(shè)P：明天天下雪 Q：我就去滑雪則該語句符號化為 PQ 4請將語句“他

4、去旅游，僅當(dāng)他有時間”翻譯成命題公式解：設(shè)P：他去旅游 Q：他有時間則該語句符號化為 PQ 5請將語句 “有人不去工作”翻譯成謂詞公式解：設(shè)P(x)：x是人 Q(x)：x不去工作則謂詞公式為 (x)(P(x)Q(x) 6請將語句“所有人都努力工作”翻譯成謂詞公式解：設(shè)P(x)：x是人 Q(x)：x努力工作則謂詞公式為 (x)(P(x) Q(x)四、判斷說明題（判斷下列各題，并說明理由） 1命題公式ØPÙP的真值是1不正確，PP的真值是0，它是一個永假式，命題公式中的否定律就是PP=F 2命題公式ØPÙ(P®ØQ)ÚP為永真式

5、 正確可以化簡P（PQ）P=P（PQ）P=PP=1，所以它是永真式當(dāng)然方法二是用真值表 3謂詞公式是永真式正確xP(x) (yG(x,y) xP(x)=xP(x) (yG(x,y) xP(x)=xP(x) (y(G(x,y) xP(x)=xP(x) (y(G(x,y) xP(x)=xP(x) y(G(x,y) xP(x)=xP(x) xP(x) y(G(x,y)=1y(G(x,y)=1所以該式是永真式 4下面的推理是否正確，請給予說明(1) ("x)A(x)® B(x) 前提引入(2) A(y) ®B(y) US (1)不正確，(1)中(")x的轄域僅是

6、A(x)，而不是A(x) Ù B(x)四計算題1 求P®QÚR的析取范式，合取范式、主析取范式，主合取范式解：PÚ(QR）= PÚQR所以合取范式和析取范式都是PÚQR所以主合取范式就是PÚQR所以主析取范式就是(ØPÙØQ ÙØR) Ú(ØPÙØQÙ R) Ú (ØPÙQÙ ØR) (ØPÙQ ÙR) Ú(PÙØQ&

7、#217; R) Ú (PÙQÙØ R) Ú (PÙQÙ R)2求命題公式(PÚQ)®(RÚQ) 的主析取范式、主合取范式解：(PÚØQ)®(RÙQ)= Ø(PÚØQ) Ú (RÙQ)= (ØPÙQ) Ú (RÙQ)其中(ØPÙQ)= (ØPÙQ) Ù (RÚØR)= (ØPÙQ

8、Ù R) Ú(ØPÙQ ÙØR)其中(RÙQ)= (RÙQ) Ù (PÚØP)= (PÙQÙ R) Ú (ØPÙQ Ù R)所以原式=(ØPÙQÙ R) Ú(ØPÙQ ÙØR) Ú (PÙQÙ R) Ú (ØPÙQ Ù R) =(ØPÙQÙ R) &

9、#218;(ØPÙQ ÙØR) Ú (PÙQÙ R) = (ØPÙQ ÙØR) Ú(ØPÙQÙ R) Ú (PÙQÙ R)=m2Úm3Úm7這就是主析取范式所以主合取范式為M0Ù M1Ù M4Ù M5Ù M6可寫為(PÚQÚR)Ù (PÚQÚØR) Ù (ØPÚ

10、6;QÚR) Ù (ØPÚQÚØR) Ù (ØPÚØQÚR)3設(shè)謂詞公式（1）試寫出量詞的轄域；（2）指出該公式的自由變元和約束變元解：(1)量詞$x的轄域為 P(x,y) ®("z)Q(y,x,z) 量詞"z的轄域為Q(y,x,z) 量詞"y的轄域為R(y,x)(2) P(x,y)中的x是約束變元，y是自由變元 Q(y,x,z)中的x和z是約束變元，y是自由變元 R(y,x)中的x是自由變元，y是約束變元 4設(shè)個體域為D=a1, a2，求謂詞公

11、式"y$xP(x,y)消去量詞后的等值式；解： "y$xP(x,y)= $xP(x, a1) Ù$xP(x, a2)=( P(a1, a1) Ú P(a2, a1) Ù( P(a1, a2) Ú P(a1, a2)五、證明題 1試證明 (P®(QÚØR)ÙØPÙQ與Ø (PÚØQ)等價 證：(P®(QÚØR)ÙØPÙQÛ(ØPÚ(QÚØR

12、)ÙØPÙQ Û(ØPÚQÚØR)ÙØPÙQ Û(ØPÙØPÙQ)Ú(QÙØPÙQ)Ú(ØRÙØPÙQ) Û(ØPÙQ)Ú(ØPÙQ)Ú(ØPÙQÙØR) ÛØPÙQ （吸收律） ÛØ(PÚØQ) （摩根律）2試證明($x)(P(x)