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

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

2、張，將答題過程手工書寫，并拍照上傳一、填空題1命題公式的真值是 1或T 2設(shè)P：他生病了，Q：他出差了R：我同意他不參加學(xué)習. 則命題“如果他生病或出差了，我就同意他不參加學(xué)習”符號化的結(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將語句“41

4、次列車下午五點開或者六點開”翻譯成命題公式 解：命題P：41次列車下午5點開；命題Q：41次列車下午6點開；P或Q. 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($x)(P(x)Q(y)R(z)中的約束變元為y

5、解：不正確。該式中的約束變元為x。 3謂詞公式中$x量詞的轄域為解：錯誤。謂詞公式中$x量詞的轄域為P（x，y）。 4下面的推理是否正確，請給予說明(1) ("x)A(x)® B(x) 前提引入(2) A(y) ®B(y) US (1) 解：不正確，(1)中(")x的轄域僅是A(x)，而不是A(x) Ù B(x)。四計算題1 求P®QÚR的析取范式，合取范式、主析取范式，主合取范式解：PÚ(QR）= PÚQR所以合取范式和析取范式都是PÚQR所以主合取范式就是PÚQR所以主析取范式就是

6、(Ø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)®(R

7、7;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) Ú (ØPÙQ 

8、17; 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) Ú (PÙ

9、QÙ R)=m2Úm3Úm7這就是主析取范式所以主合取范式為M0Ù M1Ù M4Ù M5Ù M6可寫為(PÚQÚR)Ù (PÚQÚØR) Ù (ØPÚØQÚR) Ù (ØPÚQÚØR) Ù (ØPÚØQÚR)3設(shè)謂詞公式（1）試寫出量詞的轄域；（2）指出該公式的自由變元和約束變元 解：(1)量詞$x的轄域為 P(x,y

10、) ®("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，求謂詞公式"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)五、證明

11、題 1試證明 (P®(QÚØR)ÙØPÙQ與Ø (PÚØQ)等價證明：(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Ú