∧∨﹁
前提:(p∨q)->r,﹁s∨p,q
結(jié)論：s->r
證明：
1.q 前提引入
2.p∨q 附加律
3.(p∨q)->r 前提引入
4.r 2.3.假言推理
5.﹁s∨r 附加律
6.s->r 蘊(yùn)含等值式
離散數(shù)學(xué)題,數(shù)理邏輯 求高手答疑 前提:(p﹀q)->r, ﹁s﹀p, q 結(jié)論：s->r 不...
離散數(shù)學(xué)題,數(shù)理邏輯 求高手答疑 前提:(p﹀q)->r, ﹁s﹀p, q 結(jié)論：s->r 不...
離散數(shù)學(xué)題,數(shù)理邏輯 求高手答疑
前提:(p﹀q)->r, ﹁s﹀p, q
結(jié)論：s->r
不用附加前提如何證明?想了很久沒想出來.thanks!
請(qǐng)寫出各步驟所用推理規(guī)則。謝謝。
離散數(shù)學(xué)題,數(shù)理邏輯 求高手答疑
前提:(p﹀q)->r, ﹁s﹀p, q
結(jié)論：s->r
不用附加前提如何證明?想了很久沒想出來.thanks!
請(qǐng)寫出各步驟所用推理規(guī)則。謝謝。
數(shù)學(xué)人氣：657 ℃時(shí)間：2020-05-23 13:37:41
優(yōu)質(zhì)解答
我來回答
類似推薦
- 離散數(shù)學(xué)數(shù)理邏輯題
- 數(shù)理邏輯((p∧┐q)∨(q∧r))∨r∨p如何計(jì)算?
- 離散數(shù)學(xué)命題證明題 前提:p→s,q→r,p∨q,┘r 結(jié)論:r
- 離散數(shù)學(xué)數(shù)理邏輯的一個(gè)題目
- 離散數(shù)學(xué)數(shù)理邏輯(p->r)∧(q->┐r)∧(┐r->(p∨q)) 怎么演算變成主析取范式? 答案是 m1∨m2∨m5
- 關(guān)于萬(wàn)有引力定律的發(fā)現(xiàn),正確的是 A牛頓通過望遠(yuǎn)鏡觀察天體運(yùn)動(dòng)發(fā)現(xiàn)的 B牛頓通過探究蘋果落地發(fā)現(xiàn)的
- 為什么紅細(xì)胞可攜帶二氧化碳
- I know I'm really in love with you..I care and I really don't want to lose you
- 0.8L=（）dm3=（）cm3
- 有沒有I like winter的作文?急用 .求你了!幫個(gè)忙!(>_
- 一臺(tái)電動(dòng)機(jī)正常工作時(shí)，兩端的電壓為220V，通過線圈的電流為10A，若此線圈的電阻為2Ω，那么它的電功率是_W，這臺(tái)電動(dòng)機(jī)1min內(nèi)產(chǎn)生的熱量是_J，這臺(tái)電動(dòng)機(jī)的效率是_．（最后一空保留三位
- forget現(xiàn)分及形容詞 cook形容詞,名詞兩個(gè)
猜你喜歡
- 1家用電器或線路著火,可用泡沫滅火器撲救是對(duì)的還是錯(cuò)的?
- 2Shall we have some chicken wings?（同義句轉(zhuǎn)換）
- 3子彈在水平飛行時(shí),其動(dòng)能為Ek0=800J,某時(shí)它炸裂成質(zhì)量相等的兩塊,其中一塊的動(dòng)能為Ek1=625J,求另一塊的動(dòng)能Ek2.
- 4甲乙丙三個(gè)同學(xué)參加儲(chǔ)蓄，甲存款是乙的4/5，丙存款比乙少40%，已知甲存了500元，丙存了多少元？
- 5函數(shù)f（x）=sin（πx/2-π/4）的圖象是由函數(shù)y=sinx的圖象經(jīng)過怎樣的變換得到的?
- 6歷史題選擇題【詳細(xì)解析區(qū)分一下】THANK YOU
- 7英語(yǔ)單詞的過去式和反義詞
- 8設(shè)A是m*n矩陣,B是n*m矩陣.證明當(dāng)M>n時(shí),必有|AB|=0
- 9a*b=a （a小于等于b） =b （a大于b）如果1*2=1,則函數(shù)2^x*2^（-x）的值域
- 10The twins____members of the school football team A are both B both are
- 11最小正周期和周期有什么區(qū)別?
- 125551用加減乘除,括號(hào)怎樣等于24