1樓：孫羽_寶
(1)┐（a→f） p(附加前提bai)(2)a∧┐f t(1)e(3)a t(2)i(4)┐f t(2)i(5)a∨
dub t(3)i(6)a∨b→zhic∧d p
(7)c∧d t(5)(6)i(8)d t(7)i(9)d∨e t(8)i(10)d∨e→f p
(11)f t(9)(10)i(12)f∧┐f(矛盾) t(4)(11)ie是等價dao i是蘊含
p規則：前提在推導過程回中的任何時候都可答以引入使用t規則：在推導中，如果有一個或多個公式、重言蘊含著公式s，則公式s可以引入推導之中
2樓：兩年空白
a∨b→c∧d , d∨e→f=> a→d, d→f =>a→f
a∨b表示a,b中至少滿足一個
c∧d表示同時滿足c和d
離散數學 證明習題，高分求解答，2張圖全部回答追加100分
3樓：家裡有個小美妞
證明p→
（來q→r）⇔（p∧q）→r
若p是假的自
，則p→(q→r)是真命題；
若p是真的，則當q是假的，則p→(q→r)是真命題；則q→(p→r)也是真命題；
若p是真的，q是真的，r是真的，則p→(q→r)是真命題；則q→(p→r)也是真命題；
若p是真的，q是真的，r是假的，則p→(q→r)是假命題；則q→(p→r)是假命題。
綜合上面所得，在每一種情況下，兩個命題的真值是一致的，所以這兩個命題等價。
在自然推理系統p中構造下面的推理證明：
前提：a∨b→c∧d,d∨e→f
結論：a→f
① a∨b→c∧d 前提
② c∧d→d 簡化式
③ a∨b→d 前提三段論 ①②
④ a→a∨b 加法式
⑤ d→d∨e 加法式
⑥ d∨e→f 前提
⑦ a∨b→f 前提三段論 ③⑤⑥
⑧ a→f 前提三段論 ④⑦
證明：（a-b）-c=a-（b∪c）
（a-b）-c=a-（b∪c）
a-b-c=a-(b+c)
只能幫你到這了
離散數學證明(a→b)∧(b→c)⇔a→c
4樓：曉龍修理
證明：b→62616964757a686964616fe58685e5aeb931333431373337c⇔¬
∵ a⊕b⇔(a-b)∪(b-a) ①
∴(a⊕b)-c
((a-b)∪(b-a)-c) 根據①得
⇔(a-b-c)∪(b-a-c) ②
c-(a⊕b)
⇔c-(a-b)∪(b-a) 根據①
⇔c-(a-b)-(b-a)
∴(a→b)∧(b→c)⇔a→c
性質：離散數學在各學科領域，特別在電腦科學與技術領域有著廣泛的應用，同時離散數學也是計算機專業的許多專業課程，如程式設計語言、資料結構、作業系統、編譯技術、人工智慧、資料庫、演算法設計與分析、理論電腦科學基礎等必不可少的先行課程。
通過離散數學的學習，不但可以掌握處理離散結構的描述工具和方法，為後續課程的學習創造條件，而且可以提高抽象思維和嚴格的邏輯推理能力，為將來參與創新性的研究和開發工作打下堅實的基礎。
由於數位電子計算機是一個離散結構，它只能處理離散的或離散化了的數量關係， 因此，無論電腦科學本身，還是與電腦科學及其應用密切相關的現代科學研究領域，都面臨著如何對離散結構建立相應的數學模型；又如何將已用連續數量關係建立起來的數學模型離散化，從而可由計算機加以處理。
離散數學是傳統的邏輯學，集合論（包括函式），數論基礎，演算法設計，組合分析，離散概率，關係理論，圖論與樹，抽象代數（包括代數系統，群、環、域等），布林代數，計算模型（語言與自動機）等彙集起來的一門綜合學科。離散數學的應用遍及現代科學技術的諸多領域。
5樓：普海的故事
等價蘊含式：來b→源c⇔¬b∨c
前提bai3: b
⇒c則(b→c)→c ①du
前提2 乛d∨a⇔d→a
前提1 a→(b→c)
⇒d→(b→c) ②
zhi由①、②
dao，得到d→c
6樓：東風冷雪
這不是假言三段論嗎。
幫忙做一道離散數學題目，證明r為等價關係。
7樓：遲玉花信己
r<=>b=d.那麼自
1.r<=>b=b
成立bai,所以
du自反性質zhi
滿足dao2.r
<=>b=d;
r<=>d=f
所以如果r,
r那麼b=d=f所以r
,即傳遞性質成立3.r
<=>b=d那麼r
也是成立的
因為d=b成立
所以r是等價關係
這個關係表明,只要後面的b相同就把看成一個,跟a無關所以相當於後面的b
一個元素
商集n*n/r=n
8樓：匿名使用者
r<=>b=d.
那麼1. r<=>b=b 成立
,所以自反性質內滿足
2. r<=>b=d; r<=>d=f
所以 如果 r, r那麼 b=d=f
所以 r,即傳遞性質成立
3. r<=>b=d
那麼 r也是成立的容 因為 d=b成立所以r是等價關係
這個關係表明,只要後面的b相同就把看成一個,跟a無關所以 相當於後面的b 一個元素
商集n*n/r =n
離散數學試證明PQRSPQ推出SR
前提 p q r s p,q 結論 s r 證明 1 p q r 前提引專入2 q p r 1 等屬值置換3 q 前提引入4 p r 留給你 5 s p 6 s 附加前提引入7 p 8 r 9 s r 得證。離散數學 用推理規則證明 前提 p q,p s,q r 結論 s r 用反證法也就是歸謬法。...
離散數學問題，離散數學難題
a b a b a b a c a c a c a b b a c a b b a b c 分配律 a b a b b c 交換律 排序 a b a b b c 結合律 a b c c a b c c a a b c 補項 a b c a b c a b c c a a b c 分配律2 a b c...
離散數學等值式,離散數學等值式講解
利用等bai值式進行等值演算,很明顯主要du是用分配律zhi。這沒有什麼難dao處,就是寫起來專挺繁瑣的。6個小括號屬 內看作一個整體,分別記作abcdef。先用分配律,得到8個合取式組成的析取式,再判斷每一個式子的真值 a c e的真值是0,因為p1與p2不能同時為真。其餘的類似判斷。只有b c ...