1樓：
附加前提證明法。
1 s 附加前提引入
2 s→p 前提引入
3 p 12假言推理
4 p→(q→r)) 前提引入
5 q→r 34假言推理
6 q 前提引入
7 r 56假言推理
所以，推理正確。
【離散數學 用推理規則證明】前提: 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）構造性二難式
即證得。
離散數學 求解，離散數學求解
第1題，用定義證明，也可以用包含關係的傳遞性，來證明。a c則a b c a b bb d則a b d 由 得到，a b c d，則。a b c b b d，則。c b c d 由 得到，a b c d 2不正確，可以舉反例。a b c d 顯然，a c，b d 但a b a b b a c d c...
離散數學求證函式是否為雙射函式,離散數學，假設函式f是集合A到A的雙射函式，則f復合f等於什麼，
滿射也好證明 a b c 則a a b c 從而b b,c c 因此 a b c 也就是說，對任意a b c 中的元素，都是可以找到原像的，因此是滿射。離散數學，假設函式f是集合a到a的雙射函式，則f復合f等於什麼，用反證法。設dug f是集合 zhia到a上的雙射假dao設g不是滿射，則r g f...
離散數學證明蘊含式,離散數學蘊含式證明，第二題a問題，求解！
1 p p 附加前提 2 p q p 附加前提 3 p q r p 4 q r t 1 3 i 5 p r t 2 4 i 6 r t 1 5 i 7 p r cp 8 p q p r cp 第一次答題 求鼓勵 離散數學蘊含式證明，第二題a問題，求解！10 可以用邏輯恆等式來證明 p q p q p...