屈婉玲版離散數(shù)學(xué)課后習(xí)題答案【1】

《屈婉玲版離散數(shù)學(xué)課后習(xí)題答案【1】》由會(huì)員分享，可在線閱讀，更多相關(guān)《屈婉玲版離散數(shù)學(xué)課后習(xí)題答案【1】（5頁(yè)珍藏版）》請(qǐng)?jiān)谘b配圖網(wǎng)上搜索。

1、屈婉玲版離散數(shù)學(xué)課后習(xí)題答案第一章部分課后習(xí)題參考答案16 設(shè)p、q的真值為0；r、s的真值為1，求下列各命題公式的真值。 （1）p(qr) 0(01) 0 （2）（pr）(qs) （01）(11) 010. （3）（pqr）(pqr) （111） (000)0(4)（rs）(pq) （01）(10) 00117判斷下面一段論述是否為真：“是無(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整除 1t: 6能被4整除 0 命題符號(hào)化為： p(qr)(ts)的真值為1，所以這一段的論述為真

2、。19用真值表判斷下列公式的類型：（4）(pq) (qp)（5）(pr) (pq)（6）(pq) (qr) (pr)答： （4） p q pq q p qp (pq)(qp) 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 所以公式類型為永真式 /最后一列全為1（5）公式類型為可滿足式（方法如上例）/最后一列至少有一個(gè)1（6）公式類型為永真式（方法如上例）/第二章部分課后習(xí)題參考答案3.用等值演算法判斷下列公式的類型，對(duì)不是重言式的可滿足式，再用真值表法求出成真賦值.(1) (pqq)(2)(p(pq)(pr)(3)(pq)(pr

3、)答：(2)（p(pq)）(pr)(p(pq)(pr)ppqr1 所以公式類型為永真式(3) P q r pq pr （pq）(pr)0 0 0 0 0 10 0 1 0 0 10 1 0 1 0 00 1 1 1 0 01 0 0 1 0 01 0 1 1 1 11 1 0 1 0 01 1 1 1 1 1 所以公式類型為可滿足式4.用等值演算法證明下面等值式：(2)(pq)(pr)(p(qr)(4)(pq)(pq)(pq) (pq)證明（2）(pq)(pr) (pq)(pr)p(qr)p(qr)（4）(pq)(pq)(p(pq) (q(pq)(pp)(pq)(qp) (qq)1(pq)(p

4、q)1(pq)(pq) 5.求下列公式的主析取范式與主合取范式，并求成真賦值(1)(pq)(qp)(2)(pq)qr(3)(p(qr)(pqr)解：（1）主析取范式(pq)(qp) (pq)(qp) (pq)(qp) (pq)(qp)(qp)(pq)(pq)(pq)(pq)(pq) (0,2,3) 主合取范式： (pq)(qp) (pq)(qp) (pq)(qp) (p(qp)(q(qp) 1(pq) (pq) M1 (1) (2) 主合取范式為： (pq)qr(pq)qr (pq)qr0 所以該式為矛盾式. 主合取范式為(0,1,2,3,4,5,6,7) 矛盾式的主析取范式為 0 (3)主合

5、取范式為：(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 拒取式證明（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é)論的否定引入pq 前提引入q 假言推理rq 前提引入r 化簡(jiǎn)律rs 前提引入r 化簡(jiǎn)律rr 合取由于最后一步rr 是矛盾式,所以推理正確.5