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

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

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

3、2, 3，A(x)為“x大于3”，則謂詞公式($x)A(x) 的真值為 0 7謂詞命題公式("x)(A(x)ÙB(x) ÚC(y)中的自由變?cè)獮?y 8謂詞命題公式("x)(P(x) ®Q(x) ÚR(x，y)中的約束變?cè)獮?x 三、公式翻譯題 1請(qǐng)將語(yǔ)句“今天是天晴”翻譯成命題公式 解：設(shè)P：今天是天晴則該語(yǔ)句符號(hào)化為 P 2請(qǐng)將語(yǔ)句“小王去旅游，小李也去旅游”翻譯成命題公式 解：設(shè)P：小王去旅游，Q：小李也去旅游則該語(yǔ)句符號(hào)化為 PQ 3請(qǐng)將語(yǔ)句“他去旅游，僅當(dāng)他有時(shí)間”翻譯成命題公式 解：設(shè)P：他去旅游 Q：他有時(shí)間則該語(yǔ)句符號(hào)

4、化為 PQ 4將語(yǔ)句“41次列車(chē)下午五點(diǎn)開(kāi)或者六點(diǎn)開(kāi)”翻譯成命題公式 解：命題P：41次列車(chē)下午5點(diǎn)開(kāi)；命題Q：41次列車(chē)下午6點(diǎn)開(kāi)；P或Q. 5請(qǐng)將語(yǔ)句 “有人不去工作”翻譯成謂詞公式 解：設(shè)P(x)：x是人 Q(x)：x不去工作則謂詞公式為 (x)(P(x)Q(x) 6請(qǐng)將語(yǔ)句“所有人都努力工作”翻譯成謂詞公式 解：設(shè)P(x)：x是人 Q(x)：x努力工作則謂詞公式為 (x)(P(x) Q(x)四、判斷說(shuō)明題（判斷下列各題，并說(shuō)明理由） 1命題公式ØPÙP的真值是1 解：不正確，PP的真值是0，它是一個(gè)永假式，命題公式中的否定律就是PP=F 2($x)(P(x)Q(y)

5、R(z)中的約束變?cè)獮閥 解：不正確。該式中的約束變?cè)獮閤。 3謂詞公式中$x量詞的轄域?yàn)榻猓哄e(cuò)誤。謂詞公式中$x量詞的轄域?yàn)镻（x，y）。 4下面的推理是否正確，請(qǐng)給予說(shuō)明(1) ("x)A(x)® B(x) 前提引入(2) A(y) ®B(y) US (1) 解：不正確，(1)中(")x的轄域僅是A(x)，而不是A(x) Ù B(x)。四計(jì)算題1 求P®QÚR的析取范式，合取范式、主析取范式，主合取范式解：PÚ(QR）= PÚQR所以合取范式和析取范式都是PÚQR所以主合取范式就是P

6、8;QR所以主析取范式就是(ØPÙØQ ÙØR) Ú(ØPÙØQÙ R) Ú (ØPÙQÙ ØR) (ØPÙQ ÙR) Ú(PÙØQÙ R) Ú (PÙQÙØ R) Ú (PÙQÙ R)2求命題公式(PÚQ)®(RÚQ) 的主析取范式、主合取范式解：(PÚØQ

7、)®(RÙQ)= Ø(PÚØQ) Ú (RÙQ)= (ØPÙQ) Ú (RÙQ)其中(ØPÙQ)= (ØPÙQ) Ù (RÚØR)= (ØPÙQÙ R) Ú(ØPÙQ ÙØR)其中(RÙQ)= (RÙQ) Ù (PÚØP)= (PÙQÙ R) Ú (Ø

8、;PÙQ Ù R)所以原式=(ØPÙQÙ R) Ú(ØPÙQ ÙØR) Ú (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)=m2Úm3Úm7這就是主析取范式所以主合取范式為M0Ù M1Ù M4Ù M5Ù M6可寫(xiě)為(PÚQÚR)Ù (PÚQÚØR) Ù (ØPÚØQÚR) Ù (ØPÚQÚØR) Ù (ØPÚØQÚR)3設(shè)謂詞公式（1）試寫(xiě)出量詞的轄域；（2）指出該公式的自由變?cè)图s束變?cè)?解：(1)量

10、詞$x的轄域?yàn)?P(x,y) ®("z)Q(y,x,z) 量詞"z的轄域?yàn)镼(y,x,z) 量詞"y的轄域?yàn)镽(y,x)(2) P(x,y)中的x是約束變?cè)瑈是自由變?cè)?Q(y,x,z)中的x和z是約束變?cè)?，y是自由變?cè)?R(y,x)中的x是自由變?cè)?，y是約束變?cè)?4設(shè)個(gè)體域?yàn)镈=a1, a2，求謂詞公式"y$xP(x,y)消去量詞后的等值式；解："y$xP(x,y)= $xP(x, a1) Ù$xP(x, a2)=( P(a1, a1) Ú P(a2, a1) Ù( P(a1, a2) Ú

11、P(a1, a2)五、證明題 1試證明 (P®(QÚØR)ÙØPÙQ與Ø (PÚØQ)等價(jià)證明：(P®(QÚØR)ÙØPÙQÛ(ØPÚ(QÚØR)ÙØ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) （摩