其推理式為：(p→q)∧(q→r)→(p→r),要求從(p→q)∧(q→r)能推導(dǎo)出p→r.以下用命題自然推理來(lái)證明：
①｛1｝(p→q)∧(q→r) P/∴p→r
②｛1｝p→q T①
③｛1｝q→r T①
④｛2｝p P
⑤｛12｝q T②④
⑥｛12｝r T③⑤
⑦｛1｝p→r D④⑥
幫忙證明一道離散數(shù)學(xué)的邏輯證明題
幫忙證明一道離散數(shù)學(xué)的邏輯證明題
題目：證明(p→q)∧(q→r)→(p→r)是永真式
請(qǐng)高手把證明過(guò)程寫(xiě)出來(lái)
題目：證明(p→q)∧(q→r)→(p→r)是永真式
請(qǐng)高手把證明過(guò)程寫(xiě)出來(lái)
數(shù)學(xué)人氣：153 ℃時(shí)間：2019-10-10 01:21:08
優(yōu)質(zhì)解答
我來(lái)回答
類似推薦
- 考慮由3條或者由4條邊的所有多邊形組成的論域,并且對(duì)于這個(gè)論域定義如下開(kāi)放語(yǔ)句.
- 一道離散數(shù)學(xué)證明題
- 邏輯的一道題
- 離散數(shù)學(xué)一階邏輯證明問(wèn)題
- 若B是布爾代數(shù),則當(dāng)a、b、c 時(shí),有
- 美利堅(jiān)合眾國(guó)各州The States of the United States of America
- what do you like to do英語(yǔ)作文,越多越好
- 意思是形容失意時(shí)情緒低落,提不起精神的樣子的四字詞語(yǔ)
- A,B,C為中學(xué)化學(xué)常見(jiàn)化合物,甲,乙,丙為單質(zhì)
- 一件成品為200元的商品標(biāo)出的價(jià)格為400元,現(xiàn)打7.5折出售此商品,則可獲得利潤(rùn) 元,其利潤(rùn)為
- 正方形的邊長(zhǎng)為4厘米,剪去四個(gè)角后成為一個(gè)正八邊形.求這個(gè)正八邊形的邊長(zhǎng)和面積
- 先判斷x與y成什么比例,再填表
猜你喜歡
- 1island怎么讀
- 2whereis she?怎么轉(zhuǎn)換為do you know where she is
- 3求軍訓(xùn)1000字的心得體會(huì)!
- 4帶橋字的成語(yǔ) 越多越好
- 5and only want to sleep with you and have babies with you..maybe i am nota good englsh teacher
- 6請(qǐng)問(wèn),正電荷可不可以移動(dòng)?還有,神經(jīng)纖維和神經(jīng)元有關(guān)系嗎?
- 7The studengts have a long holiday in some parts of the US.The school year begins in late August or early Septembeer,and
- 8西電東送工程中,中線和南線的電力主要來(lái)自于對(duì)河流中上游的梯級(jí)開(kāi)發(fā),流域梯級(jí)開(kāi)發(fā)除發(fā)電外,對(duì)區(qū)域經(jīng)濟(jì)發(fā)展帶來(lái)的有利影響有什么（4個(gè)）
- 9,甲乙兩筐蘋(píng)果共112個(gè),如果從甲筐中拿出蘋(píng)果給乙筐,再?gòu)囊铱蛑心贸鑫宸种环湃爰卓?結(jié)果兩筐蘋(píng)果就一樣
- 10英語(yǔ)翻譯
- 11that was a statement
- 12生物圈和生態(tài)系統(tǒng)的概念