1樓:匿名使用者
前提: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
2樓:
用反證法也就是歸謬法。
1 ┐(s∨r) 否定前提引入
2 ┐s∧┐r 1置換
3 ┐s 2化簡
4 p→s 前提引入
5 ┐p 34拒取式
6 ┐r 2化簡
7 q→r 前提引入
8 ┐q 67拒取式
9 ┐p∧┐q 58合取
10 ┐(p∨q) 9置換
11 p∨q 前提引入
12 (┐(p∨q))∧(p∨q) 11,12合取因為 (┐(p∨q))∧(p∨q)<=>0,所以原推理是正確的。
----
推理規則術語參考自《離散數學》耿素雲 屈婉玲
3樓:匿名使用者
證明1:
1)┐s 附加前提引入2)p→s 前提引入3)┐p 1)3)拒取式4)p∨q 前提引入5)q 3)4)析取三段式
6)q→r 前提引入7)r 5)6)假言推理
由1)7)得知┐s→r ,即證得s∨r。
證明2:
1)p→s 前提引入2)q→r 前提引入3)p∨q 前提引入4)s∨r 1)2)3)構造性二難式
即證得。
離散數學問題,離散數學難題
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...
離散數學的問題,離散數學的小問題?
證明 將這n個人作為n個結點,如果某兩個人認識,則這兩個人對應的結點之間存在一條邊,這樣就得到一個具有n個結點的無向圖,此時需證明的是,當n 3時該圖存在一個哈密頓路,n 4時,該圖存在一個哈密頓迴路,即該圖是哈密頓圖,下面給出證明。首先證明當n 3時該圖存在一個哈密頓路。設u,v是任意兩個結點,由...
離散數學等值式,離散數學等值式講解
利用等bai值式進行等值演算,很明顯主要du是用分配律zhi。這沒有什麼難dao處,就是寫起來專挺繁瑣的。6個小括號屬 內看作一個整體,分別記作abcdef。先用分配律,得到8個合取式組成的析取式,再判斷每一個式子的真值 a c e的真值是0,因為p1與p2不能同時為真。其餘的類似判斷。只有b c ...