離散數學試證明PQRSPQ推出SR

2021-03-03 20:50:50 字數 1237 閱讀 6514

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 ...