離散數(shù)學(xué)作業(yè)-(2)
《離散數(shù)學(xué)作業(yè)-(2)》由會員分享,可在線閱讀,更多相關(guān)《離散數(shù)學(xué)作業(yè)-(2)(24頁珍藏版)》請在裝配圖網(wǎng)上搜索。
離散數(shù)學(xué)作業(yè)布置 第1次作業(yè)(P15) 1.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∧1 =0 (3)(﹁p∧﹁q∧r)?(p∧q∧﹁r)=(1∧1∧1)? (0∧0∧0)=0 (4)( r∧s)→(p∧ q)=(0∧1)→(1∧0)=0→0=1 1.17 判斷下面一段論述是否為真:“π是無理數(shù)。并且,如果3是無理數(shù),則 也是無理數(shù)。另外只有6能被2整除,6才能被4整除?!? 解: p: π是無理數(shù) 1 q: 3是無理數(shù) 0 r: 是無理數(shù) 1 s: 6能被2整除 1 t: 6能被4整除 0 命題符號化為: p∧(q→r)∧(t→s)的真值為1,所以這一段的論述為真。 1.19 用真值表判斷下列公式的類型: (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 所以公式類型為永真式 ,最后一列全為1 (5)公式類型為可滿足式(方法如上例),最后一列至少有一個1 (6)公式類型為永真式(方法如上例,最后一列全為1)。 第2次作業(yè)(P38) 2.3 用等值演算法判斷下列公式的類型,對不是重言式的可滿足式,再用真值表法求出成真賦值. (1) ﹁(p∧q→q) (2)(p→(p∨q))∨(p→r) (3)(p∨q)→(p∧r) 解:(1) ﹁(p∧q→q) ﹁(﹁(p∧q) ∨q) (p∧q) ∧﹁qp∧(q ∧﹁q) p∧0 0 所以公式類型為矛盾式 (2)(p→(p∨q))∨(p→r) (﹁p∨(p∨q))∨(﹁ p∨r) ﹁p∨p∨q∨r1 所以公式類型為永真式 (3) (p∨q) → (p∧r) ¬(p∨q) ∨ (p∧r) (¬p∧¬q) ∨(p∧r) 易見, 是可滿足式, 但不是重言式. 成真賦值為: 000,001, 101, 111 P q r ¬p∧¬q p∧r (¬p∧¬q) ∨(p∧r) 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 1 1 1 0 1 1 所以公式類型為可滿足式 2.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) 第3次作業(yè)(P38) 2.5 求下列公式的主析取范式, 并求成真賦值: (1)( ¬p→q) →(¬q∨p) (2) (¬p→q) ∧q∧r (3)(p∨ (q∧r)) →(p∨q∨r) (4) ¬(p→q) ∧q∧r 解: (1)(¬p→q) →(¬q∨p) ¬(p∨q) ∨(¬q∨p) ¬p∧¬q ∨¬q ∨p ¬q ∨p (吸收律) (¬p∨p)∧¬q ∨p∧(¬q∨q) ¬p∧¬q∨p∧¬q ∨p∧¬q ∨p∧q m0∨m2∨m2∨m3 m0∨m2∨m3 成真賦值為 00, 10, 11. (2) (¬p→q) ∧q∧r (p∨q) ∧q∧r (p∧q∧r) ∨q∧r (p∧q∧r) ∨(¬p ∨p) ∧q∧r p∧q∧r∨¬p ∧q∧r∨p∧q∧r m3∨m7 成真賦值為011,111. (3) (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∨¬p∧¬r∨p∨q∨r ¬p∧¬q∧(r∨¬r)∨¬p∧(q∨¬q)∧¬r∨p∧(q∨¬q) ∧(r∨¬r) ∨ (p∨¬p) ∧q∧(r∨¬r)∨(p∨¬p) ∧(q∨¬q) ∧r m0∨m1∨m2∨m3∨m4∨m5∨m6∨m7, 為重言式. (4) ¬(p→q) ∧q∧r ¬(¬p∨q) ∧q∧r (p∧¬q) ∧q∧r p∧(¬q ∧q)∧r 0 主析取范式為0, 無成真賦值, 為矛盾式. 第4次作業(yè)(P38) 2.6 求下列公式的主合取范式, 并求成假賦值: (1) ¬(q→¬p) ∧¬p (2)(p∧q) ∨ (¬p∨r) (3)(p→(p∨q)) ∨r 解: (1) ¬(q→¬p) ∧¬p ¬(¬q∨¬p) ∧¬p q∧p ∧¬p q∧0 0 M0∧M1∧M2∧M3 這是矛盾式. 成假賦值為 00, 01, 10, 11. (2)(p∧q) ∨ (¬p∨r) (p∧q) ∨¬p∨r (p∨¬p)∧(¬p ∨q)∨r (¬p ∨q)∨r ¬p ∨q∨r M4, 成假賦值為100. (3)(p→(p∨q)) ∨r (¬p∨(p∨q)) ∨r (¬p∨p)∨q ∨r 1 主合取范式為1, 為重言式. 第5次作業(yè)(P41) 2.32 用消解原理證明下述公式是矛盾式: (1) (¬p∨q) ∧ (¬p∨r) ∧ (¬q∨¬r) ∧ (p∨¬r) ∧r (2) ¬((p∨q) ∧ ¬p→q) 解: (1) (¬p∨q) ∧ (¬p∨r) ∧ (¬q∨¬r) ∧ (p∨¬r) ∧r 第一次循環(huán) S0=Φ, S1={¬p∨q,¬p∨r,¬q∨¬r,p∨¬r,r}, S2=Φ 由¬p∨r, p∨¬r消解得到λ 輸出“no”,計算結(jié)束 (2) ¬((p∨q) ∧ ¬p→q) ¬(¬((p∨q) ∧ ¬p) ∨q) ((p∨q) ∧ ¬p) ∧¬q (p∨q) ∧ ¬p ∧¬q 第一次循環(huán) S0=Φ, S1={p∨q,¬p, ¬q}, S2=Φ 由p∨q,¬p消解得到q, 由q, ¬q消解得到λ, 輸出“no”,計算結(jié)束 2.33 用消解法判斷下述公式是否可滿足的: (1) p∧ (¬p∨¬q) ∧q (2) (p∨q) ∧(p∨¬q) ∧(¬p∨ r) 解: (1) p∧ (¬p∨¬q) ∧q 第一次循環(huán) S0=Φ, S1={p, ¬p∨¬q, q}, S2=Φ 由p, ¬p∨¬q消解得到¬q, 由q, ¬q消解得到λ, 輸出“no”,計算結(jié)束 (2) (p∨q) ∧(p∨¬q) ∧(¬p∨ r) 第一次循環(huán) S0=Φ, S1={p∨q, p∨¬q, ¬p∨ r}, S2=Φ 由p∨q, p∨¬q消解得到p, 由p∨q, ¬p∨ r消解得到q ∨r, 由p∨¬q, ¬p∨ r消解得到¬q ∨r, 由p, ¬p∨ r消解得到r, S2={p, q ∨r, ¬q ∨r, r} 第二次循環(huán) S0={p∨q, p∨¬q, ¬p∨ r}, S1={p, q ∨r, ¬q ∨r, r}, S2=Φ 由p∨q, ¬q ∨r消解得到p∨r, 由p∨¬q, q ∨r消解得到p∨r, 由p∨¬q, q ∨r消解得到p∨r, 由¬p∨ r, p 消解得到r, S2={p∨r} 第三次循環(huán) S0={p, q ∨r, ¬q ∨r, r}, S1={p∨r}, S2=Φ S2=Φ 輸出“yes”,計算結(jié)束 第6次作業(yè)(P52) 3.6 判斷下面推理是否正確. 先將簡單命題符號化, 再寫出前提, 結(jié)論, 推理的形式結(jié)構(gòu)(以蘊(yùn)涵式的形式給 出)和判斷過程(至少給出兩種判斷方法): (1)若今天是星期一, 則明天是星期三;今天是星期一. 所以明天是星期三. (2)若今天是星期一, 則明天是星期二;明天是星期二. 所以今天是星期一. (3)若今天是星期一, 則明天是星期三;明天不是星期三. 所以今天不是星期一. (4)若今天是星期一, 則明天是星期二;今天不是星期一. 所以明天不是星期二. (5)若今天是星期一, 則明天是星期二或星期三. 今天是星期一. 所以明天是星期二. (6)今天是星期一當(dāng)且僅當(dāng)明天是星期三;今天不是星期一. 所以明天不是星期三. 設(shè)p: 今天是星期一, q: 明天是星期二, r: 明天是星期三. (1)推理的形式結(jié)構(gòu)為 (p→r) ∧p→r 此形式結(jié)構(gòu)為重言式, 即 (p→r) ∧pr 所以推理正確. (2)推理的形式結(jié)構(gòu)為 (p→q) ∧q→p 此形式結(jié)構(gòu)不是重言式, 故推理不正確. (3)推理形式結(jié)構(gòu)為 (p→r) ∧¬r→¬p 此形式結(jié)構(gòu)為重言式, 即 (p→r) ∧¬r¬p 故推理正確. (4)推理形式結(jié)構(gòu)為 (p→q) ∧¬p→¬q 此形式結(jié)構(gòu)不是重言式, 故推理不正確. (5)推理形式結(jié)構(gòu)為 (p→(q∨r) )∧p →q 它不是重言式, 故推理不正確. (6)推理形式結(jié)構(gòu)為 (p?r) ∧¬p→¬r 此形式結(jié)構(gòu)為重言式, 即 (p?r) ∧¬p¬r 故推理正確. 推理是否正確, 可用多種方法證明. 證明的方法有真值表法, 等值演算法. 證明推理正確還可用構(gòu)造證明法. 下面用等值演算法和構(gòu)造證明法證明(6)推理正確. 1. 等值演算法 (p?r) ∧¬p→¬r (p→r) ∧(r→p)∧¬p→¬r ¬((¬p∨r) ∧(¬r∨p)∧¬p) ∨¬r ¬ (¬p∨r) ∨¬(¬r∨p) ∨p ∨¬r (p∧¬r)∨(r∧¬p)∨p ∨¬r (r∧¬p)∨p ∨¬r 吸收律 (r∧¬p)∨¬(¬p ∨r) 德摩根律 1 即(p?r) ∧¬p¬r 故推理正確 2.構(gòu)造證明法 前提: (p?r), ¬p 結(jié)論: ¬r 證明: ① p?r 前提引入 ② (p→r) ∧ (r→p) ①置換 ③ r→p ②化簡律 ④¬p 前提引入 ⑤¬r ③④拒取式 所以, 推理正確. 第7次作業(yè)(P53-54) 3.15 在自然推理系統(tǒng)P中用附加前提法證明下面各推理: (1)前提: p→(q→r), s→p, q 結(jié)論: s→r (2)前提: (p∨q) →(r∧s), (s∨t) →u 結(jié)論: p→u (1)證明: ① s 附加前提引入 ②s→p 前提引入 ③ p ①②假言推理 ④p→(q→r) 前提引入 ⑤q→r ③④假言推理 ⑥ q 前提引入 ⑦ r ⑤⑥假言推理 (2)證明: ① P 附加前提引入 ②p∨q ①附加 ③(p∨q) →(r∧s) 前提引入 ④r∧s ②③假言推理 ⑤ S ④化簡 ⑥s∨t ⑤附加 ⑦(s∨t) →u 前提引入 ⑧ u ⑥⑦假言推理 3.16 在自然推理系統(tǒng)P中用歸謬法證明下面推理: (1)前提: p→¬q, ¬r∨q, r∧¬s 結(jié)論: ¬p (2)前提: p∨q, p→r, q→s 結(jié)論: r∨s (1)證明: ① P 結(jié)論否定引入 ②p→¬q 前提引入 ③¬q ①②假言推理 ④¬r∨q 前提引入 ⑤¬r ③④析取三段論 ⑥r(nóng)∧¬s 前提引入 ⑦ r ⑥化簡規(guī)則 ⑧¬r∧r ⑤⑦合取引入規(guī)則 ⑧為矛盾式, 由歸謬法可知, 推理正確. (2)證明: ①¬(r∨s) 結(jié)論否定引入 ②p∨q 前提引入 ③p→r 前提引入 ④q→s 前提引入 ⑤(p→r) ∧(q→s) ∧(p∨q) ②③④合取引入規(guī)則 ⑥r(nóng)∨s ⑤構(gòu)造性二難 ⑦(r∨s) ∧¬(r∨s) ④⑤合取引入規(guī)則 ⑦為矛盾式, 所以推理正確. 第8次作業(yè)(P65-66) 4.5 在一階邏輯中將下列命題符號化: (1)火車都比輪船快. (2)有的火車比有的汽車快. (3)不存在比所有火車都快的汽車. (4)“凡是汽車就比火車慢”是不對的. 解:因為沒指明個體域, 因而使用全總個體域 (1) "x"y(F(x) ∧G(y) H(x,y)) 其中, F(x): x 是火車, G(y): y 是輪船, H(x,y):x 比y 快. (2) $x$y(F(x) ∧G(y) ∧H(x,y)) 其中, F(x): x 是火車, G(y): y 是汽車, H(x,y):x 比y 快. (3) ¬?x(F(x) ∧"y(G(y) H(x,y))) 或? "x(F(x) ?y(G(y) ∧¬H(x,y))) 其中, F(x): x 是汽車, G(y): y 是火車, H(x,y):x 比y 快. (4) ¬?x?y(F(x) ∧ G(y) H(x,y)) 或 ?x?y(F(x) ∧G(y) ∧¬H(x,y) ) 其中, F(x): x 是汽車, G(y): y 是火車, H(x,y):x 比y 慢. 4.9 給定解釋 I 如下: (a)個體域為實數(shù)集合R. (b)特定元素 =0. (c)特定函數(shù)(x,y)=x-y, x,y∈R. (d)謂詞(x,y): x=y,(x,y): x- 1.請仔細(xì)閱讀文檔,確保文檔完整性,對于不預(yù)覽、不比對內(nèi)容而直接下載帶來的問題本站不予受理。
- 2.下載的文檔,不會出現(xiàn)我們的網(wǎng)址水印。
- 3、該文檔所得收入(下載+內(nèi)容+預(yù)覽)歸上傳者、原創(chuàng)作者;如果您是本文檔原作者,請點此認(rèn)領(lǐng)!既往收益都?xì)w您。
下載文檔到電腦,查找使用更方便
15 積分
下載 |
- 配套講稿:
如PPT文件的首頁顯示word圖標(biāo),表示該PPT已包含配套word講稿。雙擊word圖標(biāo)可打開word文檔。
- 特殊限制:
部分文檔作品中含有的國旗、國徽等圖片,僅作為作品整體效果示例展示,禁止商用。設(shè)計者僅對作品中獨創(chuàng)性部分享有著作權(quán)。
- 關(guān) 鍵 詞:
- 離散數(shù)學(xué) 作業(yè)
鏈接地址:http://m.kudomayuko.com/p-10438078.html