離散數(shù)學(xué)答案 屈婉玲版 第二版 高等教育出版社課后答案.doc
《離散數(shù)學(xué)答案 屈婉玲版 第二版 高等教育出版社課后答案.doc》由會(huì)員分享,可在線閱讀,更多相關(guān)《離散數(shù)學(xué)答案 屈婉玲版 第二版 高等教育出版社課后答案.doc(31頁(yè)珍藏版)》請(qǐng)?jiān)谘b配圖網(wǎng)上搜索。
______________________________________________________________________________________________________________ 離散數(shù)學(xué)答案 屈婉玲版 第二版 高等教育出版社課后答案 第一章部分課后習(xí)題參考答案 16 設(shè)p、q的真值為0;r、s的真值為1,求下列各命題公式的真值。 (1)p∨(q∧r) 0∨(0∧1) 0 (2)(p?r)∧(﹁q∨s) (0?1)∧(1∨1) 0∧10. (3)(p∧q∧r)?(p∧q∧﹁r) (1∧1∧1) ? (0∧0∧0)0 (4)(r∧s)→(p∧q) (0∧1)→(1∧0) 0→01 17.判斷下面一段論述是否為真:“是無(wú)理數(shù)。并且,如果3是無(wú)理數(shù),則也是無(wú)理數(shù)。另外6能被2整除,6才能被4整除。” 答:p: 是無(wú)理數(shù) 1 q: 3是無(wú)理數(shù) 0 r: 是無(wú)理數(shù) 1 s: 6能被2整除 1 t: 6能被4整除 0 命題符號(hào)化為: p∧(q→r)∧(t→s)的真值為1,所以這一段的論述為真。 19.用真值表判斷下列公式的類(lèi)型: (4)(p→q) →(q→p) (5)(p∧r) (p∧q) (6)((p→q) ∧(q→r)) →(p→r) 答: (4) p q p→q q p q→p (p→q)→(q→p) 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 所以公式類(lèi)型為永真式 (5)公式類(lèi)型為可滿足式(方法如上例) (6)公式類(lèi)型為永真式(方法如上例) 第二章部分課后習(xí)題參考答案 3.用等值演算法判斷下列公式的類(lèi)型,對(duì)不是重言式的可滿足式,再用真值表法求出成真賦值. (1) (p∧q→q) (2)(p→(p∨q))∨(p→r) (3)(p∨q)→(p∧r) 答:(2)(p→(p∨q))∨(p→r)(p∨(p∨q))∨(p∨r)p∨p∨q∨r1 所以公式類(lèi)型為永真式 (3) P q r p∨q p∧r (p∨q)→(p∧r) 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 所以公式類(lèi)型為可滿足式 4.用等值演算法證明下面等值式: (2)(p→q)∧(p→r)(p→(q∧r)) (4)(p∧q)∨(p∧q)(p∨q) ∧(p∧q) 證明(2)(p→q)∧(p→r) (p∨q)∧(p∨r) p∨(q∧r)) p→(q∧r) (4)(p∧q)∨(p∧q)(p∨(p∧q)) ∧(q∨(p∧q) (p∨p)∧(p∨q)∧(q∨p) ∧(q∨q) 1∧(p∨q)∧(p∧q)∧1 (p∨q)∧(p∧q) 5.求下列公式的主析取范式與主合取范式,并求成真賦值 (1)(p→q)→(q∨p) (2)(p→q)∧q∧r (3)(p∨(q∧r))→(p∨q∨r) 解: (1)主析取范式 (p→q)→(qp) (pq)(qp) (pq)(qp) (pq)(qp)(qp)(pq)(pq) (pq)(pq)(pq) ∑(0,2,3) 主合取范式: (p→q)→(qp) (pq)(qp) (pq)(qp) (p(qp))(q(qp)) 1(pq) (pq) M1 ∏(1) (2) 主合取范式為: (p→q)qr(pq)qr (pq)qr0 所以該式為矛盾式. 主合取范式為∏(0,1,2,3,4,5,6,7) 矛盾式的主析取范式為 0 (3)主合取范式為: (p(qr))→(pqr) (p(qr))→(pqr) (p(qr))(pqr) (p(pqr))((qr))(pqr)) 11 1 所以該式為永真式. 永真式的主合取范式為 1 主析取范式為∑(0,1,2,3,4,5,6,7) 第三章部分課后習(xí)題參考答案 14. 在自然推理系統(tǒng)P中構(gòu)造下面推理的證明: (2)前提:pq,(qr),r 結(jié)論:p (4)前提:qp,qs,st,tr 結(jié)論:pq 證明:(2) ①(qr) 前提引入 ②qr ①置換 ③qr ②蘊(yùn)含等值式 ④r 前提引入 ⑤q ③④拒取式 ⑥pq 前提引入 ⑦¬p(3) ⑤⑥拒取式 證明(4): ①tr 前提引入 ②t ①化簡(jiǎn)律 ③qs 前提引入 ④st 前提引入 ⑤qt ③④等價(jià)三段論 ⑥(qt)(tq)? ⑤ 置換 ⑦(qt) ⑥化簡(jiǎn) ⑧q ②⑥ 假言推理 ⑨qp 前提引入 ⑩p ⑧⑨假言推理 (11)pq ⑧⑩合取 15在自然推理系統(tǒng)P中用附加前提法證明下面各推理: (1) 前提:p(qr),sp,q 結(jié)論:sr 證明 ①s 附加前提引入 ②sp 前提引入 ③p ①②假言推理 ④p(qr) 前提引入 ⑤qr ③④假言推理 ⑥q 前提引入 ⑦r ⑤⑥假言推理 16在自然推理系統(tǒng)P中用歸謬法證明下面各推理: (1)前提:pq,rq,rs 結(jié)論:p 證明: ①p 結(jié)論的否定引入 ②p﹁q 前提引入 ③﹁q ①②假言推理 ④¬rq 前提引入 ⑤¬r ④化簡(jiǎn)律 ⑥r(nóng)¬s 前提引入 ⑦r ⑥化簡(jiǎn)律 ⑧r﹁r ⑤⑦ 合取 由于最后一步r﹁r 是矛盾式,所以推理正確. 第四章部分課后習(xí)題參考答案 3. 在一階邏輯中將下面將下面命題符號(hào)化,并分別討論個(gè)體域限制為(a),(b)條件時(shí)命題的真值: (1) 對(duì)于任意x,均有x2-2=(x+2)(x-2). (2) 存在x,使得x+5=9. 其中(a)個(gè)體域?yàn)樽匀粩?shù)集合. (b)個(gè)體域?yàn)閷?shí)數(shù)集合. 解: F(x): x2-2=(x+2)(x-2). G(x): x+5=9. (1)在兩個(gè)個(gè)體域中都解釋為,在(a)中為假命題,在(b)中為真命題。 (2)在兩個(gè)個(gè)體域中都解釋為,在(a)(b)中均為真命題。 4. 在一階邏輯中將下列命題符號(hào)化: (1) 沒(méi)有不能表示成分?jǐn)?shù)的有理數(shù). (2) 在北京賣(mài)菜的人不全是外地人. 解: (1)F(x): x能表示成分?jǐn)?shù) H(x): x是有理數(shù) 命題符號(hào)化為: (2)F(x): x是北京賣(mài)菜的人 H(x): x是外地人 命題符號(hào)化為: 5. 在一階邏輯將下列命題符號(hào)化: (1) 火車(chē)都比輪船快. (3) 不存在比所有火車(chē)都快的汽車(chē). 解: (1)F(x): x是火車(chē); G(x): x是輪船; H(x,y): x比y快 命題符號(hào)化為: (2) (1)F(x): x是火車(chē); G(x): x是汽車(chē); H(x,y): x比y快 命題符號(hào)化為: 9.給定解釋I如下: (a) 個(gè)體域D為實(shí)數(shù)集合R. (b) D中特定元素a =0. (c) 特定函數(shù)f(x,y)=x-y,x,y. (d) 特定謂詞F(x,y):x=y,G(x,y):x- 1.請(qǐng)仔細(xì)閱讀文檔,確保文檔完整性,對(duì)于不預(yù)覽、不比對(duì)內(nèi)容而直接下載帶來(lái)的問(wèn)題本站不予受理。
- 2.下載的文檔,不會(huì)出現(xiàn)我們的網(wǎng)址水印。
- 3、該文檔所得收入(下載+內(nèi)容+預(yù)覽)歸上傳者、原創(chuàng)作者;如果您是本文檔原作者,請(qǐng)點(diǎn)此認(rèn)領(lǐng)!既往收益都?xì)w您。
下載文檔到電腦,查找使用更方便
32 積分
下載 |
- 配套講稿:
如PPT文件的首頁(yè)顯示word圖標(biāo),表示該P(yáng)PT已包含配套word講稿。雙擊word圖標(biāo)可打開(kāi)word文檔。
- 特殊限制:
部分文檔作品中含有的國(guó)旗、國(guó)徽等圖片,僅作為作品整體效果示例展示,禁止商用。設(shè)計(jì)者僅對(duì)作品中獨(dú)創(chuàng)性部分享有著作權(quán)。
- 關(guān) 鍵 詞:
- 離散數(shù)學(xué)答案 屈婉玲版 第二版 高等教育出版社課后答案 離散數(shù)學(xué) 答案 第二 高等教育出版社 課后
鏈接地址:http://m.jqnhouse.com/p-1562687.html